%0 Book %1 UBMA_279316232 %B Lecture notes in computer science ; 4937 %C Berlin ; Heidelberg u.a. %D 2008 %E Dumas, Marlon %I Springer %K Ontologie SeminarMeier tagging %P VIII, 168 S. %T Web services and formal methods %U http://aleph.bib.uni-mannheim.de/F/?func=find-b&request=279316232&find_code=020&adjacent=N&local_base=MAN01PUBLIC&x=0&y=0 %@ 3-540-79229-5, 978-3-540-79229-1

@book{UBMA_279316232, added-at = {2009-04-22T13:23:40.000+0200}, address = {Berlin ; Heidelberg [u.a.]}, biburl = {https://www.bibsonomy.org/bibtex/2973c38cc86ccdeb63e8a476a21816d82/ctprojekt}, description = {4th International Workshop, WS-FM 2007 Brisbane, Australia, September 28-29, 2007 proceedings}, editor = {Dumas, Marlon}, interhash = {d60dbec47541cfa09715408260ca91b9}, intrahash = {973c38cc86ccdeb63e8a476a21816d82}, isbn = {3-540-79229-5, 978-3-540-79229-1}, keywords = {Ontologie SeminarMeier tagging}, pages = {VIII, 168 S.}, publisher = {Springer}, series = {Lecture notes in computer science ; 4937}, timestamp = {2009-04-22T13:23:40.000+0200}, title = {Web services and formal methods}, url = {http://aleph.bib.uni-mannheim.de/F/?func=find-b&request=279316232&find_code=020&adjacent=N&local_base=MAN01PUBLIC&x=0&y=0}, year = 2008 }