Temporal operators on partial orders
| Author: | Bernhard MöllerGND |
|---|---|
| Frontdoor URL | https://opus.bibliothek.uni-augsburg.de/opus4/24843 |
| Parent Title (English): | Proceedings: Workshop Domains III, Munich, May 29-31, 1997 |
| Publisher: | Institut für Informatik, Universität München |
| Place of publication: | München |
| Editor: | Ulrich Berger |
| Type: | Conference Proceeding |
| Language: | English |
| Year of first Publication: | 1997 |
| Release Date: | 2017/07/21 |
| First Page: | 49 |
| Last Page: | 58 |
| Series: | Institut für Informatik, Universität München: Technical Report ; 9712 |
| Institutes: | Mathematisch-Naturwissenschaftlich-Technische Fakultät |
| Fakultät für Angewandte Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik | |
| Fakultät für Angewandte Informatik / Institut für Informatik / Professur für Programmiermethodik und Multimediale Informationssysteme |
