%0 Conference Paper %1 conf/sew/GallinaGK09 %A Gallina, Barbara %A Guelfi, Nicolas %A Kelsen, Pierre %B SEW %D 2009 %E Werneck, Vera %E Breitman, Karin K. %I IEEE Computer Society %K dblp %P 94-103 %T Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development. %U http://dblp.uni-trier.de/db/conf/sew/sew2009.html#GallinaGK09 %@ 978-1-4244-6863-8

@inproceedings{conf/sew/GallinaGK09, added-at = {2023-03-24T00:00:00.000+0100}, author = {Gallina, Barbara and Guelfi, Nicolas and Kelsen, Pierre}, biburl = {https://www.bibsonomy.org/bibtex/205cf584299e2f555eca23ef8696ad110/dblp}, booktitle = {SEW}, crossref = {conf/sew/2009}, editor = {Werneck, Vera and Breitman, Karin K.}, ee = {https://doi.ieeecomputersociety.org/10.1109/SEW.2009.13}, interhash = {24c25c6775a57f6b49efb61be9a0b9a7}, intrahash = {05cf584299e2f555eca23ef8696ad110}, isbn = {978-1-4244-6863-8}, keywords = {dblp}, pages = {94-103}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T13:17:23.000+0200}, title = {Towards an Alloy Formal Model for Flexible Advanced Transactional Model Development.}, url = {http://dblp.uni-trier.de/db/conf/sew/sew2009.html#GallinaGK09}, year = 2009 }