January 29, 2018
Distributed Model Checking Using ProB
Authors
Philipp Körner, Jens Bendisposto.
Venue
NFM 2018
Bibtex
@InProceedings(distb,
Author = {Philipp Körner and Jens Bendisposto},
Title = {{Distributed Model Checking Using ProB}},
Booktitle = {Proceedings NFM (NASA Formal Methods Symposium)},
Year = 2018,
Series = {Lecture Notes in Computer Science},
Volume = 10811,
Pages = {244--260},
Publisher = {Springer}
)
