%0 Journal Article %1 journals/corr/abs-1902-02696 %A Bozga, Marius %A Iosif, Radu %A Sifakis, Joseph %D 2019 %J CoRR %K dblp %T Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures. %U http://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-02696 %V abs/1902.02696

@article{journals/corr/abs-1902-02696, added-at = {2019-05-21T00:00:00.000+0200}, author = {Bozga, Marius and Iosif, Radu and Sifakis, Joseph}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2230c4712ad5975cf6d0db24b4187033a/dblp}, ee = {http://arxiv.org/abs/1902.02696}, interhash = {b42b5d4a6bb19510109a24d23b87dd5f}, intrahash = {230c4712ad5975cf6d0db24b4187033a}, journal = {CoRR}, keywords = {dblp}, timestamp = {2019-09-27T09:52:13.000+0200}, title = {Structural Invariants for Parametric Verification of Systems with Almost Linear Architectures.}, url = {http://dblp.uni-trier.de/db/journals/corr/corr1902.html#abs-1902-02696}, volume = {abs/1902.02696}, year = 2019 }