Yazar
formats 2010 2010 klosterneuburg
1 cilt bulundu.
Cilt sonuçları
Formal modeling and analysis of timed systems
FORMATS 2010 (2010 Klosterneuburg, Austria) · Springer
255 sayfa · 2010
Formal methods (Computer science) / Computer simulation / Congresses / Temporal automata / Logic design