Dissertation/ Thesis
Formal support for QVT-Relations with Coloured Petri nets
| Title: | Formal support for QVT-Relations with Coloured Petri nets |
|---|---|
| Thesis Advisors: | UAM. Departamento de Ingeniería Informática, Herramientas Interactivas Avanzadas (ING EPS-003) |
| Source: | Model Driven Engineering Languages and Systems: 12th International Conference, MODELS 2009, Denver, CO, USA, October 4-9, 2009. Proceedings. Lecture Notes in Computer Science, Volumen 5795. Springer 2009. 256-270 978-3-642-04424-3 (print) 978-3-642-04425-0 (online) 0302-9743 (print) 1611-3349 (online) 256 270 5795 |
| Publisher Information: | Springer Berlin Heidelberg. |
| Subject Terms: | Software Engineering, Programming Techniques, Programming Languages, Compilers, Interpreters, Computer System Implementation, Management of Computing and Information Systems, Informática |
| ISBN: | 978-3-642-04424-3 978-3-642-04425-0 3-642-04424-7 3-642-04425-5 |
| DOI: | 10.1007/978-3-642-04425-0_19 |
| Access URL: | http://hdl.handle.net/10486/664379 |
| Accession Number: | edstdx.10486.664379 |
| Database: | TDX |
| ISBN: | 9783642044243 9783642044250 3642044247 3642044255 |
|---|---|
| DOI: | 10.1007/978-3-642-04425-0_19 |