How to Make FDR Spin LTL Model Checking of CSP by Refinement
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Michael Leuschel, Thierry Massart, Andrew Currie
How to Make FDR Spin LTL Model Checking of CSP by Refinement
FM, 2001.

FME 2001
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{FME-2001-LeuschelMC,
	author        = "Michael Leuschel and Thierry Massart and Andrew Currie",
	booktitle     = "{Proceedings of the International Symposium of Formal Methods Europe: Formal Methods for Increasing Software Productivity}",
	doi           = "10.1007/3-540-45251-6_6",
	isbn          = "3-540-41791-5",
	pages         = "99--118",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{How to Make FDR Spin LTL Model Checking of CSP by Refinement}",
	volume        = 2021,
	year          = 2001,
}

Tags:



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.