LTSmin: High-Performance Language-Independent Model Checking (bibtex)
by Gijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van Dijk
Reference:
LTSmin: High-Performance Language-Independent Model CheckingGijs Kant, Alfons Laarman, Jeroen Meijer, Jaco van de Pol, Stefan Blom, Tom van DijkChapter in Tools and Algorithms for the Construction and Analysis of Systems (Christel Baier, Cesare Tinelli, eds.), volume 9035 of Lecture Notes in Computer Science, pages 692-707, 2015, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{KantLMPBD15,
year={2015},
isbn={978-3-662-46680-3},
booktitle={Tools and Algorithms for the Construction and Analysis of Systems},
volume={9035},
series={Lecture Notes in Computer Science},
editor={Baier, Christel and Tinelli, Cesare},
doi={10.1007/978-3-662-46681-0_61},
title={LTSmin: High-Performance Language-Independent Model Checking},
url={http://dx.doi.org/10.1007/978-3-662-46681-0_61},
publisher={Springer Berlin Heidelberg},
author={Kant, Gijs and Laarman, Alfons and Meijer, Jeroen and van de Pol, Jaco and Blom, Stefan and van Dijk, Tom},
pages={692-707},
language={English}
}
Powered by bibtexbrowser