%0 Thesis %1 phd/dnb/Kramer89 %A Krämer, Bernd J. %D 1989 %I Oldenbourg %K dblp %P 1-179 %T Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems. %@ 978-3-486-21438-3

@phdthesis{phd/dnb/Kramer89, added-at = {2016-11-17T00:00:00.000+0100}, author = {Krämer, Bernd J.}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2e244752ffaf0744d3177e96b5c9917b8/dblp}, ee = {http://d-nb.info/890925909}, interhash = {6a8e5d6b6cb6ca2233c554c98a2fd90c}, intrahash = {e244752ffaf0744d3177e96b5c9917b8}, isbn = {978-3-486-21438-3}, keywords = {dblp}, pages = {1-179}, publisher = {Oldenbourg}, school = {Technical University of Berlin, Germany}, timestamp = {2016-11-19T10:36:44.000+0100}, title = {Concepts, syntax and semantics of SEGRAS: a specification language for distributed systems.}, year = 1989 }