Development of a veri Erlang program for resource locking (2001)

by Thomas Arts, Clara Benac Earle
Venue:In Formal Methods in Industrial Critical Systems