Refinement-Based Development of Timed Systems
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Jesper Berthing, Pontus Boström, Kaisa Sere, Leonidas Tsiopoulos, Jüri Vain
Refinement-Based Development of Timed Systems
IFM, 2012.

IFM 2012
Full names Links ISxN
	author        = "Jesper Berthing and Pontus Boström and Kaisa Sere and Leonidas Tsiopoulos and Jüri Vain",
	booktitle     = "{Proceedings of the Ninth International Conference on Integrated Formal Methods}",
	doi           = "10.1007/978-3-642-30729-4_6",
	isbn          = "978-3-642-30728-7",
	pages         = "69--83",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Refinement-Based Development of Timed Systems}",
	volume        = 7321,
	year          = 2012,


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.