Loading…

Advances in verification of time petri nets and timed automata : a temporal logic approach /

Bibliographic Details
Main Author:	Penczek, Wojciech
Other Authors:	Połrola, Agata
Format:	Book
Language:	English
Published:	Berlin : Springer, 2006.
Subjects:	Petri ağları. Petri nets. Gerçek zamanlı kontrol. Real-time control. Gerçek zamanlı bilgi işlem. Real-time data processing.

Merkez Kütüphane

Holdings details from Merkez Kütüphane
Call Number:	QA267 P463 2006
Copy	Rafta