141 followers
Model Checking (2001) : Merz, Stephan DOI: https://t.co/MjkWu4Hjfy #temporal_logic #reactive_systems #transition_system #model_checking #needham_schroeder #my_bibtex
Model Checking (2001) : Merz, Stephan DOI: https://t.co/MjkWu4Hjfy #temporal_logic #reactive_systems #transition_system #model_checking #needham_schroeder #my_bibtex
Model Checking: A Tutorial Overview (2001) : Stephan Merz DOI: https://t.co/MjkWu4Hjfy #model_checking #needham_schroeder #reactive_systems #temporal_logic #transition_system #my_bibtex
Model Checking: A Tutorial Overview (2001) : Stephan Merz DOI: https://t.co/MjkWu4Hjfy #reactive_systems #temporal_logic #transition_system #needham_schroeder #model_checking #my_bibtex