%0 Conference Paper %1 conf/ictac/UedaAHIO09 %A Ueda, Kazunori %A Ayano, Takayuki %A Hori, Taisuke %A Iwasawa, Hiroki %A Ogawa, Seiji %B ICTAC %D 2009 %E Leucker, Martin %E Morgan, Carroll %I Springer %K dblp %P 349-355 %T Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems. %U http://dblp.uni-trier.de/db/conf/ictac/ictac2009.html#UedaAHIO09 %V 5684 %@ 978-3-642-03465-7

@inproceedings{conf/ictac/UedaAHIO09, added-at = {2017-05-23T00:00:00.000+0200}, author = {Ueda, Kazunori and Ayano, Takayuki and Hori, Taisuke and Iwasawa, Hiroki and Ogawa, Seiji}, biburl = {https://www.bibsonomy.org/bibtex/2434c814a6a65d88f353c77db06d7ac3f/dblp}, booktitle = {ICTAC}, crossref = {conf/ictac/2009}, editor = {Leucker, Martin and Morgan, Carroll}, ee = {https://doi.org/10.1007/978-3-642-03466-4_24}, interhash = {a3e6dfbcdc08cea13f95585ff67d727c}, intrahash = {434c814a6a65d88f353c77db06d7ac3f}, isbn = {978-3-642-03465-7}, keywords = {dblp}, pages = {349-355}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2019-05-15T14:12:04.000+0200}, title = {Hierarchical Graph Rewriting as a Unifying Tool for Analyzing and Understanding Nondeterministic Systems.}, url = {http://dblp.uni-trier.de/db/conf/ictac/ictac2009.html#UedaAHIO09}, volume = 5684, year = 2009 }