A Distributed Model Checking Tool Tailored to {E}rlang
Title | A Distributed Model Checking Tool Tailored to {E}rlang |
Publication Type | Conference Paper |
Year of Publication | 2001 |
Authors | Leucker, M, Noll, T |
Conference Name | Proceedings of the Erlang Workshop |
Bibtex:
@inproceedings {LeuckerNoll01b, title = {A Distributed Model Checking Tool Tailored to {E}rlang}, booktitle = {Proceedings of the Erlang Workshop}, year = {2001}, author = {Martin Leucker and Thomas Noll} }
- News
- Research
- Teaching
- Staff
- Martin Leucker
- Diedrich Wolter
- Ulrike Schräger-Ahrens
- Aliyu Ali
- Mahmoud Abdelrehim
- Phillip Bende
- Juljan Bouchagiar
- Marc Bätje
- Tobias Braun
- Gerhard Buntrock
- Anja Grotrian
- Hannes Hesse
- Raik Hipler
- Elaheh Hosseinkhani
- Hannes Kallwies
- Frauke Kerlin
- Karam Kharraz
- Mohammad Khodaygani
- Ludwig Pechmann
- Waqas Rehan
- Martin Sachenbacher
- Andreas Schuldei
- Annette Stümpel
- Gesina Schwalbe
- Tobias Schwartz
- Daniel Thoma
- Lars Vosteen
- Open Positions
- Contact