User menu

Design, verification and documentation of concurrent systems

Bibliographic reference Gribomont, E.P.. Design, verification and documentation of concurrent systems.4th Refinement Workshop. Proceedings of the 4th Refinement Workshop (Cambridge, UK, 9-11 January 1991). In: Morris, J.M.; Shaw, R.C.;, 4th Refinement Workshop. Proceedings of the 4th Refinement Workshop, Springer-verlag1991, p. 360-377
Permanent URL http://hdl.handle.net/2078.1/68261