2002-04-03
Choice quantification in process algebra
Publication
Publication
| Additional Metadata | |
|---|---|
| J.A. Bergstra (Jan) , J.F. Groote (Jan Friso) | |
| Universiteit van Amsterdam | |
| hdl.handle.net/11245/1.204295 | |
| Institute for Programming research and Algorithmics Dissertation Series ; 2002-4 | |
|
Luttik, B. (2002, April 3). Choice quantification in process algebra (No. 2002-4). IPA dissertation series. Retrieved from http://hdl.handle.net/11245/1.204295 |
|