| 000 | 00760nam a2200217 i 4500 | ||
|---|---|---|---|
| 001 | 23677 | ||
| 005 | 20170214082157.0 | ||
| 010 | _a978-3-540-32870-4 | ||
| 090 | _a23677 | ||
| 100 | _a20080820d2006 0pory50 ba | ||
| 200 | 1 |
_aAdvances in verification of time Petri nets and timed automata _bDocumento electrónico _ea temporal logic approach _fWojciech Penczek, Agata Pólrola |
|
| 210 |
_aBerlin _cSpringer _d2006 |
||
| 215 | _aE-book | ||
| 225 | 1 |
_aStudies in Computational Intelligence _v20 |
|
| 300 | _aAcesso ao documento electrónico no ISEL | ||
| 606 |
_910390 _aEngenharia |
||
| 675 | _a62 | ||
| 700 | 1 |
_aPENCZEK _bWojciech _911596 |
|
| 852 |
_aISEL _bBiblioteca Central |
||
| 856 |
_uhttp://www.springerlink.com/content/p7ww114t52u3/ _zAcesso online |
||
| 942 | _cEBO | ||