%0 Conference Paper %1 conf/vveis/YatakeK08 %A Yatake, Kenro %A Katayama, Takuya %B MSVVEIS %D 2008 %E Ultes-Nitsche, Ulrich %E Moldt, Daniel %E Augusto, Juan Carlos %I INSTICC PRESS %K dblp %P 71-80 %T An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving. %U http://dblp.uni-trier.de/db/conf/vveis/msvveis2008.html#YatakeK08 %@ 978-989-8111-43-2

@inproceedings{conf/vveis/YatakeK08, added-at = {2008-08-18T00:00:00.000+0200}, author = {Yatake, Kenro and Katayama, Takuya}, biburl = {https://www.bibsonomy.org/bibtex/2f84746458e307700ca630a849ec56c46/dblp}, booktitle = {MSVVEIS}, crossref = {conf/vveis/2008}, date = {2008-08-18}, description = {dblp}, editor = {Ultes-Nitsche, Ulrich and Moldt, Daniel and Augusto, Juan Carlos}, interhash = {462feea527b466877a0c869fe261378e}, intrahash = {f84746458e307700ca630a849ec56c46}, isbn = {978-989-8111-43-2}, keywords = {dblp}, pages = {71-80}, publisher = {INSTICC PRESS}, timestamp = {2008-08-19T11:54:28.000+0200}, title = {An Executable Semantics of Object-oriented Models for Simulation and Theorem Proving.}, url = {http://dblp.uni-trier.de/db/conf/vveis/msvveis2008.html#YatakeK08}, year = 2008 }