%0 Journal Article %1 scholz_06_partitioning %A Scholz, Peter %D 2006 %J Software and Systems Modeling %K mu-charts _hardcopy 2006 refinement statecharts csp concurrent_systems %N 1 %P 13--25 %R 10.1007/s10270-005-0094-1 %T Partitioning of perfect synchroneous reactive specifications to distributed processors using ^Aµ-charts %U http://dx.doi.org/10.1007/s10270-005-0094-1 %V V5

@article{scholz_06_partitioning, added-at = {2009-02-11T20:58:55.000+0100}, author = {Scholz, Peter}, biburl = {https://www.bibsonomy.org/bibtex/227f10f567585d1c2b0a2be5f870fcb53/leonardo}, citeulike-article-id = {888029}, doi = {10.1007/s10270-005-0094-1}, interhash = {5e064a8adb6f0886731994eaf994eb29}, intrahash = {27f10f567585d1c2b0a2be5f870fcb53}, journal = {Software and Systems Modeling}, keywords = {mu-charts _hardcopy 2006 refinement statecharts csp concurrent_systems}, month = {April}, number = 1, pages = {13--25}, posted-at = {2006-10-07 02:23:40}, priority = {2}, timestamp = {2009-02-11T20:58:55.000+0100}, title = {Partitioning of perfect synchroneous reactive specifications to distributed processors using ^{A}µ-charts}, url = {http://dx.doi.org/10.1007/s10270-005-0094-1}, volume = {V5}, year = 2006 }