On model checking synchronised hardware circuits
| Title | On model checking synchronised hardware circuits |
| Publication Type | Conference Paper |
| Year of Publication | 2000 |
| Authors | Leucker, M |
| Editor | He, J, Sato, M |
| Conference Name | Proceedings of the 6th Asian Computing Science Conference ({ASIAN'00}) |
| Series | Lecture Notes in Computer Science |
| Volume | 1961 |
| Publisher | Springer |
| Conference Location | Penang, Malaysia |
| URL | http://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:
