Computer assisted manipulation of algebraic process specifications

Research output: Contribution to journal › Article › Academic › peer-review

Access to Document

@article{2bd761c7fbff4916b4ddb5060ebaa388,

title = "Computer assisted manipulation of algebraic process specifications",

author = "J.F. Groote and B. Lisser",

year = "2002",

doi = "10.1145/636517.636531",

language = "English",

volume = "37",

pages = "98--107",

journal = "ACM Sigplan Notices",

issn = "0362-1340",

publisher = "Association for Computing Machinery, Inc",

number = "12",

}