Automatic abstraction for model checking software systems with interrelated numeric constraints
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

Yunja Choi, Sanjai Rayadurgam, Mats Per Erik Heimdahl
Automatic abstraction for model checking software systems with interrelated numeric constraints
FSE, 2001.

ESEC FSE 2001
DBLP
Scholar
DOI
Full names Links ISxN
@inproceedings{ESEC-FSE-2001-ChoiRH,
	author        = "Yunja Choi and Sanjai Rayadurgam and Mats Per Erik Heimdahl",
	booktitle     = "{Proceedings of the Eighth European Software Engineering Conference held jointly with Ninth International Symposium on Foundations of Software Engineering}",
	doi           = "10.1145/503209.503232",
	pages         = "164--174",
	publisher     = "{ACM}",
	title         = "{Automatic abstraction for model checking software systems with interrelated numeric constraints}",
	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.