# 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: