عنوان
پدید آورنده
موضوع
رده
کتابخانه
محل استقرار
oldebook8783
eng
Formal modeling and analysis of timed systems
:FORMATS 2008. ;
Berlin :
: Springer,
, 2008.
Print
Computer simulation ; Congresses. ; Temporal automata ; Congresses. ; Formal methods (Computer science) ; Congresses. ;
; Jard, Claude. ; -Cassez, Franck, ; 1967
old catalog
