Model Checking
(2001) : Merz, Stephan
DOI: https://doi.org/10.1007/3-540-45510-8_1
#temporal_logic #reactive_systems #transition_system #model_checking #needham_schroeder #my_bibtex