Home Advanced Search

Advanced Search - Page 1

Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
  • PDF
  • English
  • Year: 2006
  • Author: Wojciech Penczek, Agata Polrola
Advances in Verification of Time Petri Nets and Timed Automata: A Temporal Logic Approach
  • PDF
  • English
  • Year: 2006
  • Author: Doc.dr.hab. Wojciech Penczek, Dr. Agata Pólrola (auth.)
Music and Genocide
  • PDF
  • English
  • Year: 2015
  • Author: Wojciech Klimczyk, Agata Świerzowska
Transactions on Petri Nets and Other Models of Concurrency XII
  • PDF
  • English
  • Year: 2017
  • Author: Maciej Koutny, Jetty Kleijn, Wojciech Penczek (eds.)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
  • PDF
  • English
  • Year: 1996
  • Author: Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)
Mathematical Foundations of Computer Science 1996: 21st International Symposium, MFCS'96 Cracow, Poland, September 2–6, 1996 Proceedings
  • DJVU
  • English
  • Year: 1996
  • Author: Edmund M. Clarke Jr. (auth.), Wojciech Penczek, Andrzej Szałas (eds.)
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (eds.)
Applications and Theory of Petri Nets: 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
  • PDF
  • English
  • Year: 2010
  • Author: Gabriel Juhás, Igor Kazlov, Ana Juhásová (auth.), Johan Lilius, Wojciech Penczek (eds.)
Cationic Ring-Opening Polymerization Of Heterocyclic Monomers
  • DJVU
  • English
  • Year: 1981
  • Author: S. Penczek
Polymerization of Heterocycles (Ring Opening). International Union of Pure and Applied Chemistry
  • PDF
  • English
  • Year: 1977
  • Author: S. Penczek (Eds.)
search