Publicações

Modifying Petri Net Models by Means of Crosscutting Operations

AuthID
P-000-KPK

Author(s)

Barros, JP

Gomes, L

Editor(es)

Lilius,J;Balarin,F;Machado,RJ

Tipo de Documento

Proceedings Paper

Year published

2003

Publicado

in THIRD INTERNATIONAL CONFERENCE ON APPLICATION OF CONCURRENCY TO SYSTEM DESIGN, PROCEEDINGS, ISSN: 15504808

Volume: 2003-January, Páginas: 177-186 (10)

Conference

3Rd International Conference on Application of Concurrency to System Design, Date: JUN 18-20, 2003, Location: Guimaraes, PORTUGAL, Patrocinadores: 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