Model checking of RegCTL

Bibliographic Details
Main Authors:	Brázdil, Tomáš (Author), Černá, Ivana informatička (Author)
Format:	Article
Language:	Slovak English
PhysicalDescription:	Fotogr., sch., tab.
ISSN:	1335-9150
Subjects:	temporálna logika stromové automaty distribuované algoritmy formálna verifikácia overovanie modelov

Similar Items