User menu

Stepwise Refinement and Concurrency - the Finite-state Case

Bibliographic reference Gribomont, EP.. Stepwise Refinement and Concurrency - the Finite-state Case. In: Science of Computer Programming, Vol. 14, no. 2-3, p. 185-228 (1990)
Permanent URL http://hdl.handle.net/2078.1/51548