%0 Conference Paper %1 conf/utp/WeiglhoferA08 %A Weiglhofer, Martin %A Aichernig, Bernhard K. %B UTP %D 2008 %E Butterfield, Andrew %I Springer %K dblp %P 181-201 %T Unifying Input Output Conformance. %U http://dblp.uni-trier.de/db/conf/utp/utp2008.html#WeiglhoferA08 %V 5713 %@ 978-3-642-14520-9

@inproceedings{conf/utp/WeiglhoferA08, added-at = {2019-10-19T00:00:00.000+0200}, author = {Weiglhofer, Martin and Aichernig, Bernhard K.}, biburl = {https://www.bibsonomy.org/bibtex/293f4e2ec9cb4d4b73510f923e2be824f/dblp}, booktitle = {UTP}, crossref = {conf/utp/2008}, editor = {Butterfield, Andrew}, ee = {https://doi.org/10.1007/978-3-642-14521-6_11}, interhash = {be1fd207833968be5bfc723cfe134562}, intrahash = {93f4e2ec9cb4d4b73510f923e2be824f}, isbn = {978-3-642-14520-9}, keywords = {dblp}, pages = {181-201}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-10-22T14:07:39.000+0200}, title = {Unifying Input Output Conformance.}, url = {http://dblp.uni-trier.de/db/conf/utp/utp2008.html#WeiglhoferA08}, volume = 5713, year = 2008 }