Merkliste 
 1 Ergebnisse 
 
1

Toward reliable reactive systems:

, In: Proceedings of the 5th international workshop on Software specification and design,
Gilham, L.-M. ; Goldberg, A. ; Wang, T. C. - p. 68-74 , 1989