Anton Sodja, Borut Zupancic. Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper). In Peter Fritzson, Edward A. Lee, François E. Cellier, David Broman, editors, Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010. Volume 47 of Linköping Electronic Conference Proceedings, pages 117-120, Linköping University Electronic Press, 2010. [doi]
@inproceedings{SodjaZ10,
title = {Model verification and debugging of EOO models aided by model reduction techniques (Work in Progress Paper)},
author = {Anton Sodja and Borut Zupancic},
year = {2010},
url = {http://www.ep.liu.se/ecp_article/index.en.aspx?issue=047;article=013},
researchr = {https://researchr.org/publication/SodjaZ10},
cites = {0},
citedby = {0},
pages = {117-120},
booktitle = {Proceedings of the 3rd International Workshop on Equation-Based Object-Oriented Modeling Languages and Tools, EOOLT 2010, Oslo, Norway, October 3, 2010},
editor = {Peter Fritzson and Edward A. Lee and François E. Cellier and David Broman},
volume = {47},
series = {Linköping Electronic Conference Proceedings},
publisher = {Linköping University Electronic Press},
}