Merkliste 
 1 Ergebnisse 
 
1

Testing for the Conformance of Real-time Protocols Implemen..:

Zöbel, Dieter ; Polock, David ; van Arkel, Andreas
Electronic Notes in Theoretical Computer Science.  133 (2005)  - p. 315-332 , 2005