How to Use Formal Analysis to Prevent Deadlocks

Author(s):
Abdelouahab Ayari, Mark Eslinger and Joe Hupcey III
Location:
Europe
Year:
2020
Type:
Presentation
Format:
pdf