Vol-2709⫷ Vol-2710 ⫸Vol-2711
urn:nbn:de:0074-2710-0


Vol-2710/paper22⫷Vol-2710/paper23⫸Vol-2710/no-trace-1
Marco B. CaminatiJuliana Küster Filipe Bowles

A Formally Verified SMT Approach to True Concurrency