Merkliste 
 1 Ergebnisse 
 
1

The Analysis of Concurrent Systems 

Cambridge, September 12-16, 1983. Proceedings  Lecture Notes in Computer Science ; 207;SpringerLink, Bücher