%0 Conference Paper %1 conf/aiia/BaldoniBM07 %A Baldoni, Matteo %A Baroglio, Cristina %A Marengo, Elisa %B AI*IA %D 2007 %E Basili, Roberto %E Pazienza, Maria Teresa %I Springer %K DCML curricula modeling reasoning %P 471-482 %T Curricula Modeling and Checking. %U http://dblp.uni-trier.de/db/conf/aiia/aiia2007.html#BaldoniBM07 %V 4733 %@ 978-3-540-74781-9

@inproceedings{conf/aiia/BaldoniBM07, added-at = {2008-02-19T13:22:23.000+0100}, author = {Baldoni, Matteo and Baroglio, Cristina and Marengo, Elisa}, biburl = {https://www.bibsonomy.org/bibtex/26994ce40ba36e0952aadd77edb3620f5/baroglio}, booktitle = {AI*IA}, crossref = {conf/aiia/2007}, date = {2007-08-27}, description = {dblp}, editor = {Basili, Roberto and Pazienza, Maria Teresa}, ee = {http://dx.doi.org/10.1007/978-3-540-74782-6_41}, interhash = {0de51e9c505bcef27820ae51b82398dc}, intrahash = {6994ce40ba36e0952aadd77edb3620f5}, isbn = {978-3-540-74781-9}, keywords = {DCML curricula modeling reasoning}, pages = {471-482}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2008-02-19T13:22:23.000+0100}, title = {Curricula Modeling and Checking.}, url = {http://dblp.uni-trier.de/db/conf/aiia/aiia2007.html#BaldoniBM07}, volume = 4733, year = 2007 }