Title |
Proceedings, Third International Conference on Application of Concurrency to System Design : ACSD 2003, 18-20 June 2003, Guimarães, Portugal / edited by Johan Lilius, Felice Balarin, Ricardo J. Machado ; co-sponsored by IFIP WG10.5 and SIG-ES, Colégio de Engenharia Informática da Ordem dos Engenheiros Portuguesa ; in cooperation with FME--Formal Methods Europe ...[and others] |
|