default search action
BibTeX record conf/prozess/OkroyK77
@inproceedings{DBLP:conf/prozess/OkroyK77, author = {K. Okroy and Manfred Kersken}, editor = {G{\"{u}}nther Schmidt}, title = {Anwendung und Automatisierung der Analyse von Proze{\ss}rechnerprogrammen}, booktitle = {Fachtagung Proze{\ss}rechner 1977, GMR-GI-GFK, Augsburg, 7. und 8. M{\"{a}}rz 1977, Proceedings}, series = {Informatik-Fachberichte}, volume = {7}, pages = {312--323}, publisher = {Springer}, year = {1977}, url = {https://doi.org/10.1007/978-3-642-66599-8\_24}, doi = {10.1007/978-3-642-66599-8\_24}, timestamp = {Fri, 06 Sep 2024 16:14:02 +0200}, biburl = {https://dblp.org/rec/conf/prozess/OkroyK77.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.