![](/img/cover-not-exists.png)
[ACM Press the conference - New Orleans, Louisiana, United States (1991.12.04-1991.12.06)] Proceedings of the conference on Software for citical systems - SIGSOFT '91 - Specifying and verifying requirements of real-time systems
Hansen, Kirsten M., Ravn, Anders P., Rischel, HansYear:
1991
Language:
english
DOI:
10.1145/125083.123051
File:
PDF, 782 KB
english, 1991