Showing 1 - 6 results of 6 for search 'Penczek, Wojciech', query time: 0.03s Narrow Search
  1. 1
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
    by Penczek, Wojciech, Pólrola, Agata
    Published 2006
    Click to view e-book
    eBook
    Save to List
    Saved in:
  2. 2
    Mathematical Foundations of Computer Science 1996 21st International Symposium, MFCS' 96, Crakow, Poland, September 2 - 6, 1996. Proceedings
    Published 1996
    Other Authors: “…Penczek, Wojciech…”
    Click to view e-book
    eBook
    Save to List
    Saved in:
  3. 3
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010, Proceedings
    Published 2010
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  4. 4
    Transactions on Petri Nets and Other Models of Concurrency XIII
    Published 2018
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  5. 5
    Transactions on Petri Nets and Other Models of Concurrency XII
    Published 2017
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:
  6. 6
    Challenging Problems and Solutions in Intelligent Systems
    Published 2016
    Other Authors: Click to view e-book
    eBook
    Save to List
    Saved in:

Search Tools: