Back to Search Start Over

Accelerated Verification of Concurrent Systems

Authors :
Laveaux, Maurice
Willemse, Tim A.C.
Groote, Jan Friso
Formal System Analysis
Publication Year :
2022
Publisher :
Eindhoven University of Technology, 2022.

Details

Language :
English
Database :
OpenAIRE
Accession number :
edsair.narcis........91387deb2aaadc7a6847c095437e0139

Tools

Authors Abstract Subjects Details