Catalog
- Results include
-
Computer assisted manipulation of algebraic process specifications
Groote, J. F. (Jan Friso), 1965-Amsterdam : Stichting Mathematisch Centrum, 2001. -
Linearization in parallel pCRL
Groote, J. F. (Jan Friso), 1965-Amsterdam : Centrum voor Wiskunde en Informatica, 2000. -
Analysis of a distributed system for lifting trucks
Groote, J. F. (Jan Friso), 1965-Amsterdam : Stichting Mathematisch Centrum, 2001.
Guides
Library website
Exhibits
EarthWorks
More search tools
Tools to help you discover resources at Stanford and beyond.