%0 Book Section %1 Mossakowski04d %A Mossakowski, T. %B CASL User Manual %D 2004 %E Bidoit, M. %E Mosses, P. D. %I Springer Verlag, London %K CASL libraries numbers %P 143-154 %T CASL Basic Libraries %U http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,24,38; %V 2900 %@ 3-540-20766-X

@incollection{Mossakowski04d, added-at = {2016-08-05T15:59:03.000+0200}, author = {Mossakowski, T.}, biburl = {https://www.bibsonomy.org/bibtex/295c0a6aa4c35a69397e51a3c6cf4271e/tillmo}, booktitle = {{CASL} User Manual}, editor = {Bidoit, M. and Mosses, P. D.}, interhash = {7e7af1b4c0ec2a330be575a2550995bf}, intrahash = {95c0a6aa4c35a69397e51a3c6cf4271e}, isbn = {3-540-20766-X}, keywords = {CASL libraries numbers}, pages = {143-154}, publisher = {Springer Verlag, London}, series = {Lecture Notes in Computer Science}, status = {Other}, timestamp = {2016-08-05T15:59:03.000+0200}, title = {{CASL} Basic Libraries}, url = {http://www.springerlink.com/(bt4qw245oavupgzdxw3zpuul)/app/home/contribution.asp?referrer=parent&backto=searchcitationsresults,24,38;}, volume = 2900, year = 2004 }