Process Instances in LOTOS Simulation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Simon Pickin, Yan Yang, Wiet Bouma, Sylvie Simon, Tanja de Groot
Process Instances in LOTOS Simulation
FM, 1993.

FME 1993
Full names Links ISxN
	author        = "Simon Pickin and Yan Yang and Wiet Bouma and Sylvie Simon and Tanja de Groot",
	booktitle     = "{Proceedings of the First International Symposium of Formal Methods Europe: Industrial-Strength Formal Methods}",
	doi           = "10.1007/BFb0024665",
	isbn          = "3-540-56662-7",
	pages         = "521--540",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Process Instances in LOTOS Simulation}",
	volume        = 670,
	year          = 1993,


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.