%0 Book Section %1 BaumeisterEtAl04 %A Baumeister, Hubert %A Cerioli, Maura %A Haxthausen, Anne %A Mossakowski, Till %A Mosses, Peter D. %A Sannella, Donald %A Tarlecki, Andrzej %B CASL Reference Manual %D 2004 %E Mosses, Peter D. %I Springer Verlag, London %K CASL institution semantics %T CASL Semantics %U http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,25,38; %V 2960 %& ÏII %@ 3-540-21301-5

@incollection{BaumeisterEtAl04, added-at = {2016-08-05T15:59:03.000+0200}, author = {Baumeister, Hubert and Cerioli, Maura and Haxthausen, Anne and Mossakowski, Till and Mosses, Peter D. and Sannella, Donald and Tarlecki, Andrzej}, biburl = {https://www.bibsonomy.org/bibtex/244688a4b105bfe2e14ad31c777784d0e/tillmo}, booktitle = {CASL Reference Manual}, chapter = {{\"I}II}, editor = {Mosses, Peter D.}, interhash = {a4e6da1650c13c9f1c94ba4bc209a4f0}, intrahash = {44688a4b105bfe2e14ad31c777784d0e}, isbn = {3-540-21301-5}, keywords = {CASL institution semantics}, note = {Ëdited by D. Sannella and A. Tarlecki}, publisher = {Springer Verlag, London}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {CASL Semantics}, type = {Part}, url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,25,38;}, volume = 2960, year = 2004 }