%0 Journal Article %1 journals/fac/AmericaB94 %A America, Pierre %A de Boer, Frank S. %D 1994 %J Formal Asp. Comput. %K dblp %N 3 %P 269-316 %T Reasoning about Dynamically Evolving Process Structures. %U http://dblp.uni-trier.de/db/journals/fac/fac6.html#AmericaB94 %V 6

@article{journals/fac/AmericaB94, added-at = {2011-05-25T00:00:00.000+0200}, author = {America, Pierre and de Boer, Frank S.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e8df9d6f228df46dcb99660088e8c922/dblp}, ee = {http://dx.doi.org/10.1007/BF01215408}, interhash = {095aef7c676aaed70bc121186559e79b}, intrahash = {e8df9d6f228df46dcb99660088e8c922}, journal = {Formal Asp. Comput.}, keywords = {dblp}, number = 3, pages = {269-316}, timestamp = {2016-02-02T10:13:53.000+0100}, title = {Reasoning about Dynamically Evolving Process Structures.}, url = {http://dblp.uni-trier.de/db/journals/fac/fac6.html#AmericaB94}, volume = 6, year = 1994 }