Publicações

On Lifting of Statechart Structuring Mechanisms

AuthID
P-000-KPM

Author(s)

Gomes, L

Costa, A

Editor(s)

Lilius, J; Balarin, F; Machado, RJ

Document Type

Proceedings Paper

Year published

2003

Published

in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, ISSN: 1550-4808

Volume: 2003-January, Pages: 206-215 (10)

Conference

3Rd International Conference on Application of Concurrency to System Design, Date: JUN 18-20, 2003, Location: Guimaraes, PORTUGAL, Sponsors: IFIP WG10 5 & SIG ES, Colegio Engenharia Informat Ordem Engenheiros Portuguesa, Formal Methods Europe, ACM SIGSOFT, ACM SIGDA, European Union Asynchronous Circuit Design Working Grp

Indexing