Advances in verification of time Petri nets and timed automata [Documento electrónico] : a temporal logic approach / Wojciech Penczek, Agata Pólrola
Publication: Berlin : Springer, 2006Description: E-bookISBN: 978-3-540-32870-4.Series: Studies in Computational Intelligence, 20Subject - Topical Name: Engenharia Online Resources:Acesso onlineItem type | Current location | Call number | Status | Date due | Barcode | Item holds |
---|---|---|---|---|---|---|
Ebook | Biblioteca do ISEL | Available |
Total holds: 0
Acesso ao documento electrónico no ISEL
There are no comments for this item.