Showing 1 - 7 results of 7 for search 'Penczek, Wojciech', query time: 0.04s Refine Results
  1. 1
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach
    by Penczek, Wojciech
    Published 2006
    Get full text
    Electronic Kit Book
  2. 2
    Advances in Verification of Time Petri Nets and Timed Automata A Temporal Logic Approach /
    by Penczek, Wojciech, Pólrola, Agata
    Published 2006
    Full Text via HEAL-Link
    Electronic eBook
  3. 3
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings
    by Lilius, Johan
    Published 2010
    Other Authors: “…Penczek, Wojciech…”
    Get full text
    Electronic Kit Book
  4. 4
    Applications and Theory of Petri Nets 31st International Conference, PETRI NETS 2010, Braga, Portugal, June 21-25, 2010. Proceedings /
    Published 2010
    Other Authors: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Electronic eBook
  5. 5
    Transactions on Petri Nets and Other Models of Concurrency XII
    Published 2017
    Other Authors: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Electronic eBook
  6. 6
    Transactions on Petri Nets and Other Models of Concurrency XIII
    Published 2018
    Other Authors: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Electronic eBook
  7. 7
    Challenging Problems and Solutions in Intelligent Systems
    Published 2016
    Other Authors: “…Penczek, Wojciech…”
    Full Text via HEAL-Link
    Electronic eBook
Search Tools: RSS Feed – Email Search