Specifying internet applications with DiCons

J.C.M. Baeten; H.M.A. Beek, van; S. Mauw

Specifying internet applications with DiCons

J.C.M. Baeten, H.M.A. Beek, van, S. Mauw

Mathematics and Computer Science

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

9 Citaten (Scopus)

2 Downloads (Pure)

Originele taal-2	Engels
Titel	Proceedings of the 16th ACM Symposium on Applied Computing (SAC2001, Las Vegas NV, USA March 11-14, 2001)
Redacteuren	G. Lamont
Plaats van productie	New York NY, USA
Uitgeverij	Association for Computing Machinery, Inc
Pagina's	576-584
ISBN van geprinte versie	1-58113-287-5
Status	Gepubliceerd - 2001

Andere bestanden en links

Full text

Citeer dit

@inproceedings{a84a6cbaf5f04bb486bf9ee41353df02,

title = "Specifying internet applications with DiCons",

author = "J.C.M. Baeten and {Beek, van}, H.M.A. and S. Mauw",

year = "2001",

language = "English",

isbn = "1-58113-287-5",

pages = "576--584",

editor = "G. Lamont",

booktitle = "Proceedings of the 16th ACM Symposium on Applied Computing (SAC2001, Las Vegas NV, USA March 11-14, 2001)",

publisher = "Association for Computing Machinery, Inc",

address = "United States",

}

Specifying internet applications with DiCons. / Baeten, J.C.M.; Beek, van, H.M.A.; Mauw, S.
Proceedings of the 16th ACM Symposium on Applied Computing (SAC2001, Las Vegas NV, USA March 11-14, 2001). uitgave / G. Lamont. New York NY, USA: Association for Computing Machinery, Inc, 2001. blz. 576-584.

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

TY - GEN

T1 - Specifying internet applications with DiCons

AU - Baeten, J.C.M.

AU - Beek, van, H.M.A.

AU - Mauw, S.

PY - 2001

Y1 - 2001

UR - http://doi.acm.org/10.1145/372202.372466

M3 - Conference contribution

SN - 1-58113-287-5

SP - 576

EP - 584

BT - Proceedings of the 16th ACM Symposium on Applied Computing (SAC2001, Las Vegas NV, USA March 11-14, 2001)

A2 - Lamont, G.

PB - Association for Computing Machinery, Inc

CY - New York NY, USA

ER -