Beyond ProCoS at Kiel: A synopsis of recent research

Martin Fränzle, Wolfgang Goerigk, Burghard von Karger, Markus Müller-Olm, Jonathan Bowen (Editor)

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research

Original language	English
Title of host publication	ProCoS WG Workshop at FM 99
Publisher	Springer electronic media
Publication date	1999
Publication status	Published - 1999
Event	ProCoS WG Workshop at FM 99 - Duration: 1 Jan 1999 → …

Conference	ProCoS WG Workshop at FM 99
Period	01/01/1999 → …

OpenUrl availability

@inproceedings{8fe2303501874868afb6dc5203dff979,

title = "Beyond ProCoS at Kiel: A synopsis of recent research",

author = "Martin Fr{\"a}nzle and Wolfgang Goerigk and Karger, {Burghard von} and Markus M{\"u}ller-Olm and Jonathan Bowen",

year = "1999",

language = "English",

booktitle = "ProCoS WG Workshop at FM 99",

publisher = "Springer electronic media",

note = "ProCoS WG Workshop at FM 99 ; Conference date: 01-01-1999",

}