Specifying Internet applications with DiCons

J.C.M. Baeten, H.M.A. Van Beek, Sjouke Mauw

Research output: Chapter in Book/Report/Conference proceedingConference Article in proceedingAcademicpeer-review

Original languageUndefined
Title of host publicationProceedings of the ACM Symposium on Applied Computing
DOIs
Publication statusPublished - 2001
Externally publishedYes

Cite this