On model checking synchronised hardware circuits

TitleOn model checking synchronised hardware circuits
Publication TypeConference Paper
Year of Publication2000
AuthorsLeucker, M
EditorHe, J, Sato, M
Conference NameProceedings of the 6th Asian Computing Science Conference ({ASIAN'00})
SeriesLecture Notes in Computer Science
Volume1961
PublisherSpringer
Conference LocationPenang, Malaysia
URLhttp://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/leucker__foata.ps.gz
Bibtex: 
@inproceedings {Leucker00b,
	title = {On model checking synchronised hardware circuits},
	booktitle = {Proceedings of the 6th Asian Computing Science Conference ({ASIAN{\textquoteright}00})},
	series = {Lecture Notes in Computer Science},
	volume = {1961},
	year = {2000},
	pages = {182{\textendash}198},
	publisher = {Springer},
	organization = {Springer},
	address = {Penang, Malaysia},
	url = {http://www-i2.informatik.rwth-aachen.de/leucker/Literatur/Ps_files/leucker__foata.ps.gz},
	author = {Martin Leucker},
	editor = {Jifeng He and Masahiko Sato}
}
Postscript: