%0 Conference Paper %1 henglein2007compositional %A Henglein, Fritz %A Larsen, Ken Friis %A Simonsen, Jakob Grue %A Stefansen, Christian %B Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10 %D 2007 %K 3gerp REA contracts language %T Compositional contract specification for REA %U http://3gerp.iwvi.uni-koblenz.de/docs/henglein2007.pdf

@inproceedings{henglein2007compositional, added-at = {2010-03-18T15:19:37.000+0100}, author = {Henglein, Fritz and Larsen, Ken Friis and Simonsen, Jakob Grue and Stefansen, Christian}, biburl = {https://www.bibsonomy.org/bibtex/2fde4f73b68adb3c29452835561625be1/3gerp}, booktitle = {Invited paper, 1st Workshop on Formal Languages and Analysis of Contract-Oriented Software Oslo, October 9-10}, interhash = {3992664fd18d04d8bb190ae25f883fdc}, intrahash = {fde4f73b68adb3c29452835561625be1}, keywords = {3gerp REA contracts language}, timestamp = {2010-03-18T15:19:37.000+0100}, title = {Compositional contract specification for REA}, url = {http://3gerp.iwvi.uni-koblenz.de/docs/henglein2007.pdf}, year = 2007 }