Advances in Verification of Time Petri Nets and Timed Automata

Type:

e-book

Titel:

Advances in Verification of Time Petri Nets and Timed Automata

Auteur:

Penczek, Wojciech; Pólrola, Agata

Taal:

Engels

Uitgever:

Springer Berlin Heidelberg 2006

ISBN:

3-540-32869-6
9786610805150
1-280-80515-3
3-540-32870-X

Permalink:

http://bibtest.howest.be/catalog/ebk03:1000000000283421