Verification of a local area network protocol with Tina, a software package for time Petri nets (1986)

by J-L Roux, B Berthomieu
Venue:7th European Workshop on Application and Theory of Petri Nets