%0 Conference Paper %1 conf/sofsem/BenesCS12 %A Benes, Nikola %A Cerná, Ivana %A Stefanak, Filip %B SOFSEM %D 2012 %E Bieliková, Mária %E Friedrich, Gerhard %E Gottlob, Georg %E Katzenbeisser, Stefan %E Turán, György %I Springer %K dblp %P 554-565 %T Factorization for Component-Interaction Automata. %U http://dblp.uni-trier.de/db/conf/sofsem/sofsem2012.html#BenesCS12 %V 7147 %@ 978-3-642-27659-0

@inproceedings{conf/sofsem/BenesCS12, added-at = {2022-10-02T00:00:00.000+0200}, author = {Benes, Nikola and Cerná, Ivana and Stefanak, Filip}, biburl = {https://www.bibsonomy.org/bibtex/24c6719204fc6d87ee9c720083e483eed/dblp}, booktitle = {SOFSEM}, crossref = {conf/sofsem/2012}, editor = {Bieliková, Mária and Friedrich, Gerhard and Gottlob, Georg and Katzenbeisser, Stefan and Turán, György}, ee = {https://doi.org/10.1007/978-3-642-27660-6_45}, interhash = {25f5d44af813a1f77cc6a1c903d109c7}, intrahash = {4c6719204fc6d87ee9c720083e483eed}, isbn = {978-3-642-27659-0}, keywords = {dblp}, pages = {554-565}, publisher = {Springer}, series = {Lecture Notes in Computer Science}, timestamp = {2024-04-10T16:09:02.000+0200}, title = {Factorization for Component-Interaction Automata.}, url = {http://dblp.uni-trier.de/db/conf/sofsem/sofsem2012.html#BenesCS12}, volume = 7147, year = 2012 }