Design of Validation Models in PROMELA for the Medium (1991)

by L Bouvin
Venue:Access Protocol of the PTM Project,” Report Royal Inst. of Technology