Computer Assisted Manipulation of Algebraic Process Specifications (2001)

Cached

Download Links

by J. F. Groote , B. Lisser , Jan Friso Groote , Bert Lisser
Citations:17 - 3 self

Document Versions

Computer Assisted Manipulation of Algebraic Process Specifications –J. F. Groote, B. Lisser, Jan Friso Groote, Bert Lisser — 2001
Computer assisted manipulation of algebraic process specifications –J. F. Groote, B. Lisser, Copyright Stichting, Mathematisch Centrum, Jan Friso Groote, Bert Lisser — 2001 — SIGPLAN Notices