Stepwise refinement of distributed systems : models, formalisms, correctness : REX workshop, Mook, the Netherlands, May 29-June 2, 1989 : proceedings / J.W. de Bakker, W.-P. de Roever, G. Rozenberg, (eds.).
This resource is supported by the Institute of Museum and Library Services under the provisions of the Library Services and Technology Act as administered by State Library of Iowa.