Parallel Model Checking and the {FMICS-jETI} Platform
| Title | Parallel Model Checking and the {FMICS-jETI} Platform |
| Publication Type | Conference Paper |
| Year of Publication | 2007 |
| Authors | Barnat, J\'ı, Brim, L, Leucker, M |
| Conference Name | The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007) |
| Publisher | IEEE Computer Society Press |
| URL | http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34 |
Bibtex:
@inproceedings {BBL07,
title = {Parallel Model Checking and the {FMICS-jETI} Platform},
booktitle = {The Twelfth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS 2007)},
year = {2007},
pages = {330{\textendash}339},
publisher = {IEEE Computer Society Press},
organization = {IEEE Computer Society Press},
url = {http://doi.ieeecomputersociety.org/10.1109/ICECCS.2007.34},
author = {Ji{\v r}\'{\i} Barnat and Lubo{\v s} Brim and Martin Leucker}
}PDF:
Postscript:
