Network Invariants for Real-time Systems
| Title | Network Invariants for Real-time Systems |
| Publication Type | Conference Paper |
| Year of Publication | 2004 |
| Authors | Grinchtein, O, Leucker, M |
| Conference Name | 5th International Workshop on Verification of Infinite-State Systems |
| Series | Electronic Notes in Theoretical Computer Science |
| Volume | 98 |
| Publisher | Elsevier Science Publishers |
| URL | http://www.sciencedirect.com/ |
Bibtex:
@inproceedings {GrinchteinL03,
title = {Network Invariants for Real-time Systems},
booktitle = {5th International Workshop on Verification of Infinite-State Systems},
series = {Electronic Notes in Theoretical Computer Science},
volume = {98},
year = {2004},
pages = {57{\textendash}74},
publisher = {Elsevier Science Publishers},
organization = {Elsevier Science Publishers},
url = {http://www.sciencedirect.com/},
author = {Olga Grinchtein and Martin Leucker}
}PDF:
Postscript:
