DMCA

A Compositional Proof of a Real-Time Mutual Exclusion Protocol (1996)

by Kåre J. Kristoffersen , François Laroussinie , Kim G. Larsen , Paul Pettersson , Wang Yi
Venue:IN PROC. OF THE 7TH INTERNATIONAL JOINT CONFERENCE ON THE THEORY AND PRACTICE OF SOFTWARE DEVELOPMENT
Citations:18 - 5 self