|
Ying M. Model Checking Quantum Systems 2021
6 months, 2 weeks
Files: 1 Total size: 12.2 MB Total requests: 41 Last access time: 8 hours, 56 minutes
|
|
Model Checking Software.pdf
2 years, 5 months
Files: 1 Total size: 2.7 MB Total requests: 114 Last access time: 1 week, 6 days
|
|
[Kazi Sakib, Zahir Tari , Peter Bertok]Verification of Communication Protocols in Web Services Model-Checking Service Compositions(pdf){Zzzzz}
2 years, 6 months
Files: 1 Total size: 12.8 MB Total requests: 70 Last access time: 5 months, 1 week
|
|
C. Baier, J. Katoen - Principles of Model Checking - 2008.pdf
2 years, 11 months
Files: 1 Total size: 5.5 MB Total requests: 492 Last access time: 2 weeks, 4 days
|
Files: 1 Total size: 23.9 MB Total requests: 40 Last access time: 9 months, 1 week
|