×
  • Advances in verification of time petri nets and timed automata: a temporal logic approach

    Wojciech Penczek Agata Pólrola

Click on cover to enlarge.
6 - 7Hours to read