Vol-826⫷ Vol-827 ⫸Vol-828
urn:nbn:de:0074-827-0


None⫷None⫸None
Manuel Silva 0001Monika HeinerCristian Mahulea

On the Importance of the Deadlock Trap Property for Monotonic Liveness