Publikationen

Glässer, Uwe; Börger, E.: Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras. Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4), Denmark, Jul. 1995, Y. Gurevich and E. Börger (editors)

Bibtex

@techreport{key=GB1995,
author = {Glässer, Uwe and Börger, E.},
title = {Modelling and Analysis of Distributed and Reactive Systems using Evolving Algebras},
type = {Evolving Algabras Mini-Course, BRICS Technical Report (BRICS-NS-95-4)},
institution = {University of Aarhus},
address = {Denmark},
month = jul,
year = {1995},
note = {Y. Gurevich and E. Börger (editors)},
}