%0 Conference Paper %1 conf/vstte/YamamotoTTH05 %A Yamamoto, Mitsuharu %A Tanabe, Yoshinori %A Takahashi, Koichi %A Hagiya, Masami %B VSTTE %D 2005 %E Meyer, Bertrand %E Woodcock, Jim %I Springer %K dblp %P 518-527 %T Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification. %U http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#YamamotoTTH05 %V 4171 %@ 978-3-540-69147-1

@inproceedings{conf/vstte/YamamotoTTH05, added-at = {2018-06-26T00:00:00.000+0200}, author = {Yamamoto, Mitsuharu and Tanabe, Yoshinori and Takahashi, Koichi and Hagiya, Masami}, biburl = {https://www.bibsonomy.org/bibtex/23adc2445cfa0296492fb39d27d15b45e/dblp}, booktitle = {VSTTE}, crossref = {conf/vstte/2005}, editor = {Meyer, Bertrand and Woodcock, Jim}, ee = {https://doi.org/10.1007/978-3-540-69149-5_57}, interhash = {418202cbdd19502df78b5ea9f95faed6}, intrahash = {3adc2445cfa0296492fb39d27d15b45e}, isbn = {978-3-540-69147-1}, keywords = {dblp}, pages = {518-527}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-09T09:58:22.000+0200}, title = {Abstraction of Graph Transformation Systems by Temporal Logic and Its Verification.}, url = {http://dblp.uni-trier.de/db/conf/vstte/vstte2005.html#YamamotoTTH05}, volume = 4171, year = 2005 }