%0 Book Section %1 MossakowskiEtAl04 %A Mossakowski, Till %A Hoffman, Piotr %A Autexier, Serge %A Hutter, Dieter %B CASL Reference Manual %D 2004 %E Mosses, Peter D. %I Springer Verlag, London %K CASL logic proof %T CASL Logic %U http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,26,38; %V 2960 %& ÏV %@ 3-540-21301-5

@incollection{MossakowskiEtAl04, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, Till and Hoffman, Piotr and Autexier, Serge and Hutter, Dieter}, biburl = {https://www.bibsonomy.org/bibtex/2da1b345e15042e580f280b61ca1f0a55/tillmo}, booktitle = {CASL Reference Manual}, chapter = {{\"I}V}, editor = {Mosses, Peter D.}, interhash = {861a7e31a98efa58ec1f95dd7e7c4ddd}, intrahash = {da1b345e15042e580f280b61ca1f0a55}, isbn = {3-540-21301-5}, keywords = {CASL logic proof}, note = {Ëdited by T. Mossakowski}, publisher = {Springer Verlag, London}, series = {Lecture Notes in Computer Science}, status = {Reviewed}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {{CASL} Logic}, type = {Part}, url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,26,38;}, volume = 2960, year = 2004 }