%0 Conference Paper %1 journals/entcs/Lumpe10 %A Lumpe, Markus %B FACS@FMWeek %D 2009 %E Meng, Sun %E Schätz, Bernhard %I Elsevier %K dblp %P 179-195 %T Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata. %U http://dblp.uni-trier.de/db/journals/entcs/entcs263.html#Lumpe10 %V 263

@inproceedings{journals/entcs/Lumpe10, added-at = {2023-03-09T00:00:00.000+0100}, author = {Lumpe, Markus}, biburl = {https://www.bibsonomy.org/bibtex/2097a0f5e9e4b3f13fc72ef2fb09e9679/dblp}, booktitle = {FACS@FMWeek}, crossref = {conf/facs2/2009}, editor = {Meng, Sun and Schätz, Bernhard}, ee = {https://doi.org/10.1016/j.entcs.2010.05.011}, interhash = {470add4637a4fcbbf9f7e6b293de8543}, intrahash = {097a0f5e9e4b3f13fc72ef2fb09e9679}, keywords = {dblp}, pages = {179-195}, publisher = {Elsevier}, series = {Electronic Notes in Theoretical Computer Science}, timestamp = {2024-04-09T21:57:14.000+0200}, title = {Action Prefixes: Reified Synchronization Paths in Minimal Component Interaction Automata.}, url = {http://dblp.uni-trier.de/db/journals/entcs/entcs263.html#Lumpe10}, volume = 263, year = 2009 }