Yüklüyor…
Advances in verification of time petri nets and timed automata : a temporal logic approach /
| Yazar: | |
|---|---|
| Diğer Yazarlar: | |
| Materyal Türü: | Kitap |
| Dil: | İngilizce |
| Baskı/Yayın Bilgisi: |
Berlin :
Springer,
2006.
|
| Konular: |
| Diğer Bilgileri: | Dizin :(245-257) sayfa. |
|---|---|
| Fiziksel Özellikler: | 257 sayfa : çizimler ; 24 cm. |
| Bibliyografya: | Kaynakça :(232-243) sayfa. |
| ISBN: | 9783540328698 |