%0 Conference Paper %1 conf/eclipse/DIppolitoFFU07 %A D'Ippolito, Nicolás %A Fischbein, Dario %A Foster, Howard %A Uchitel, Sebastián %B ETX %D 2007 %E Cheng, Li-Te %E Orso, Alessandro %E Robillard, Martin P. %I ACM %K dblp %P 6-10 %T MTSA: Eclipse support for modal transition systems construction, analysis and elaboration. %U http://dblp.uni-trier.de/db/conf/eclipse/eclipse2007.html#DIppolitoFFU07 %@ 978-1-60558-015-9

@inproceedings{conf/eclipse/DIppolitoFFU07, added-at = {2018-11-06T00:00:00.000+0100}, author = {D'Ippolito, Nicolás and Fischbein, Dario and Foster, Howard and Uchitel, Sebastián}, biburl = {https://www.bibsonomy.org/bibtex/2f673d7b50452216b48e5ccbf21497666/dblp}, booktitle = {ETX}, crossref = {conf/eclipse/2007}, editor = {Cheng, Li-Te and Orso, Alessandro and Robillard, Martin P.}, ee = {https://doi.org/10.1145/1328279.1328281}, interhash = {15bf592b21e1f0a4ca33228006eeba11}, intrahash = {f673d7b50452216b48e5ccbf21497666}, isbn = {978-1-60558-015-9}, keywords = {dblp}, pages = {6-10}, publisher = {ACM}, timestamp = {2018-11-07T15:49:10.000+0100}, title = {MTSA: Eclipse support for modal transition systems construction, analysis and elaboration.}, url = {http://dblp.uni-trier.de/db/conf/eclipse/eclipse2007.html#DIppolitoFFU07}, year = 2007 }