×
Log in
Upload File
Most Popular
Study
Business
Design
Technology
Travel
Explore all categories
The top documents tagged [ls ack delay]
Bounded Probabilistic Model Checking with the Murphi Verifier
38 views
Verifica Automatica via Model Checking Enrico Tronci Dipartimento di Informatica, Università di Roma “La Sapienza”, Via Salaraia 113, 00198 Roma, Italy,
220 views
Verifica Automatica via Model Checking
33 views