Search Results - Połrola, Agata

  • Showing 1 - 1 results of 1
Refine Results
  1. 1
    Advances in verification of time petri nets and timed automata : a temporal logic approach /

    Advances in verification of time petri nets and timed automata : a temporal logic approach / by Penczek, Wojciech

    Published 2006
    Other Authors: “…Połrola, Agata…”
    View in OPAC
    Book

Search Tools: