%0 Journal Article %1 journals/eceasst/EhrigHL10 %A Ehrig, Hartmut %A Habel, Annegret %A Lambers, Leen %D 2010 %J ECEASST %K %T Parallelism and Concurrency Theorems for Rules with Nested Application Conditions. %U http://dblp.uni-trier.de/db/journals/eceasst/eceasst26.html#EhrigHL10 %V 26

@article{journals/eceasst/EhrigHL10, added-at = {2023-12-13T02:29:00.000+0100}, author = {Ehrig, Hartmut and Habel, Annegret and Lambers, Leen}, biburl = {https://www.bibsonomy.org/bibtex/2ecf1ba808bfc5bb31868d8b2dc0bf34f/admin}, ee = {https://doi.org/10.14279/tuj.eceasst.26.363}, interhash = {7fc5d1409b13da1035f9b9c54002c96b}, intrahash = {ecf1ba808bfc5bb31868d8b2dc0bf34f}, journal = {ECEASST}, keywords = {}, timestamp = {2023-12-13T02:29:00.000+0100}, title = {Parallelism and Concurrency Theorems for Rules with Nested Application Conditions.}, url = {http://dblp.uni-trier.de/db/journals/eceasst/eceasst26.html#EhrigHL10}, volume = 26, year = 2010 }