Advances in verification of time petri nets and timed automata: a temporal logic approach
Auteur :
Penczek, Wojciech
Éditeur :
Penczek, WojciechPolrola, Agata,
ISBN :
9783642069420
Date de publication :
24 nov. 2010
Dimensions :
23,4 x 15,6 x 1,5 cm
Poids :
450 g
Format :
Trade paperback (US)
Langue :
Anglais
Pays d'origine :
Allemagne