A Theory of Testing for ACP

Luca Aceto, Anna Ingolfsdottir

Research output: Contribution to book/anthology/report/conference proceeding › Article in proceeding › Research

Original language	English
Title of host publication	Proceedings of CONCUR'91, Lecture Notes in Computer Science
Editors	Baten, J.C.M. : Groote, J.F. (eds.)
Publisher	Springer
Publication date	1991
Pages	527 -
Publication status	Published - 1991
Event	CONCUR'91, 1991 - Amsterdam Duration: 19 May 2010 → …

AUB Link

@inproceedings{0bce74f09c2e11db8ed6000ea68e967b,

title = "A Theory of Testing for ACP",

author = "Luca Aceto and Anna Ingolfsdottir",

note = "ISSN ; -; CONCUR'91, 1991 ; Conference date: 19-05-2010",

year = "1991",

language = "English",

pages = "527 --",

editor = "{Baten, J.C.M. : Groote, J.F. (eds.)}",

booktitle = "Proceedings of CONCUR'91, Lecture Notes in Computer Science",

publisher = "Springer",

address = "Germany",

}