[Search | Browse Authors
| Browse Reports
| Home ]
Formal Specifications for Nonterminating Processes
MSU-CPS-95-29
Maureen G. Galsterer and John G. Geske
July, 1995
Display BibTex Entry
No online versions of this document are available.
For more information on this report, contact
geske@cps.msu.edu.
You are granted permission for the non-commercial reproduction, distribution, display, and
performance of this technical report in any format.
[Search | Browse Authors
| Browse Reports
| Home ]