Multiway Synchronization Verified with Coupled Simulation (1992)

by Joachim Parrow , Peter Sjödin
Venue:of Lecture Notes in Computer Science
Citations:21 - 2 self