User menu

Deadlock prevention in real-time systems

Bibliographic reference van Lamsweerde, Axel. Deadlock prevention in real-time systems.International Computing Symposium (Davos, Switzerland, du 04/09/1973 au 07/09/1973). In: Proceedings of the International Computing Symposium, 1974, p. 135-142
Permanent URL http://hdl.handle.net/2078.1/131692