Representing Timing Diagrams by Causal Dependencies
| author/s: | Jörg Fischer, Stefan Conrad |
| type: | Inproceedings |
| editor: | M. Wirsing and M. Gogolla and H.-J. Kreowski and T. Nipkow and W. Reif |
| booktitle: | Rigorose Entwicklung software-intensiver Systeme, Workshop der GI-Jahrestagung Informatik'2000, Berlin |
| publisher: | Tagungsbericht, LMU München |
| pages: | 104--113 |
| month: | September |
| year: | 2000 |
E-Mail senden