default search action
BibTeX record conf/gacm/SchindlerFSA80
@inproceedings{DBLP:conf/gacm/SchindlerFSA80, author = {Sigram Schindler and Ute Flasche and Juergen Schulze and D. Altenkr{\"{u}}ger}, editor = {Karl{-}Heinz Hauer and Claus Seeger}, title = {Das OSA-Projekt: Formales Spezifizieren von Diensten und Protokollen in {RSPL}}, booktitle = {Hardware f{\"{u}}r Software, Tagung {III/1980} des German Chapter of the {ACM} am 10. und 11.10.1980 in Konstanz}, series = {Berichte des German Chapter of the {ACM}}, volume = {6}, pages = {29--56}, publisher = {Teubner}, year = {1980}, timestamp = {Tue, 26 Sep 2006 20:44:57 +0200}, biburl = {https://dblp.org/rec/conf/gacm/SchindlerFSA80.bib}, bibsource = {dblp computer science bibliography, https://dblp.org} }
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.