Visual Verification of Reactive Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Luca de Alfaro, Zohar Manna, Henny B. Sipma, Tomás E. Uribe
Visual Verification of Reactive Systems
TACAS, 1997.

TACAS 1997
Full names Links ISxN
	author        = "Luca de Alfaro and Zohar Manna and Henny B. Sipma and Tomás E. Uribe",
	booktitle     = "{Proceedings of the Third International Workshop on Tools and Algorithms for the Construction and Analysis of Systems}",
	doi           = "10.1007/BFb0035398",
	isbn          = "3-540-62790-1",
	pages         = "334--350",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Visual Verification of Reactive Systems}",
	volume        = 1217,
	year          = 1997,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.