SpaceEx: Scalable Verification of Hybrid Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Goran Frehse, Colas Le Guernic, Alexandre Donzé, Scott Cotton, Rajarshi Ray, Olivier Lebeltel, Rodolfo Ripado, Antoine Girard, Thao Dang, Oded Maler
SpaceEx: Scalable Verification of Hybrid Systems
CAV, 2011.

CAV 2011
Full names Links ISxN
	author        = "Goran Frehse and Colas Le Guernic and Alexandre Donzé and Scott Cotton and Rajarshi Ray and Olivier Lebeltel and Rodolfo Ripado and Antoine Girard and Thao Dang and Oded Maler",
	booktitle     = "{Proceedings of the 23rd International Conference on Computer Aided Verification}",
	doi           = "10.1007/978-3-642-22110-1_30",
	isbn          = "978-3-642-22109-5",
	pages         = "379--395",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{SpaceEx: Scalable Verification of Hybrid Systems}",
	volume        = 6806,
	year          = 2011,


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.