MetadatenAuthor: | Dirk Beyer, Andy Heinig |
---|
Title of the source (English): | Proceedings of the 2nd IEEE/IFIP Joint Workshop on Formal Specifications of Computer-Based Systems (FSCBS 2001, Washington, D.C., April 2001) |
---|
Place of publication: | Stirling |
---|
Editor: | Jerzy Rozenblit, Miroslav Sveda, Charles Rattray |
---|
Document Type: | Conference Proceeding |
---|
Language: | English |
---|
Year of publication: | 2001 |
---|
First Page: | 89 |
---|
Last Page: | 98 |
---|
Faculty/Chair: | Fakultät 1 MINT - Mathematik, Informatik, Physik, Elektro- und Informationstechnik / FG Praktische Informatik / Softwaresystemtechnik |
---|
Institution name at the time of publication: | Fakultät für Mathematik, Naturwissenschaften und Informatik (eBTU) / LS Praktische Informatik / Software-Systemtechnik |
---|