Advances in Verification of Time Petri Nets and Timed Automata : A Temporal Logic Approach

ISBN
9783642069420
$159.99
Author Penczek, Wojciech
Format Paperback
Details
  • Active Record
  • Individual Title
  • 1 vol.
  • 2006
  • xxxii, 257
  • Yes
  • 20
  • TA1-2040