Network Invariants for Real-time Systems
| Title | Network Invariants for Real-time Systems |
| Publication Type | Journal Article |
| Year of Publication | 2008 |
| Authors | Grinchtein, O, Leucker, M |
| Journal | Formal Aspects of Computing |
| Volume | 20 |
| Pagination | 619–635 |
| URL | http://dx.doi.org/10.1007/s00165-008-0089-0 |
Bibtex:
@article {GrinchteinL06,
title = {Network Invariants for Real-time Systems},
journal = {Formal Aspects of Computing},
volume = {20},
year = {2008},
pages = {619{\textendash}635},
url = {http://dx.doi.org/10.1007/s00165-008-0089-0},
author = {Olga Grinchtein and Martin Leucker}
}PDF:
