Model Checking in HAL
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Maria J. García de la Banda, Peter J. Stuckey, Warwick Harvey, Kim Marriott
Model Checking in HAL
ICLP, 2000.

CL 2000
Full names Links ISxN
	author        = "Maria J. García de la Banda and Peter J. Stuckey and Warwick Harvey and Kim Marriott",
	booktitle     = "{Proceedings of the First International Conference on Computational Logic}",
	doi           = "10.1007/3-540-44957-4_85",
	isbn          = "3-540-67797-6",
	pages         = "1270--1284",
	publisher     = "{Springer-Verlag}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Model Checking in HAL}",
	volume        = 1861,
	year          = 2000,


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.