Xuandong Li, Sumit Jha Aanand, Lei Bu. Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming. Electronic Notes in Theoretical Computer Science, 174(3):57-70, 2007. [doi]
@article{LiAB07,
title = {Towards an Efficient Path-Oriented Tool for Bounded Reachability Analysis of Linear Hybrid Systems using Linear Programming},
author = {Xuandong Li and Sumit Jha Aanand and Lei Bu},
year = {2007},
doi = {10.1016/j.entcs.2006.12.023},
url = {http://dx.doi.org/10.1016/j.entcs.2006.12.023},
tags = {object-oriented programming, program analysis, analysis, programming, subject-oriented programming, feature-oriented programming},
researchr = {https://researchr.org/publication/LiAB07},
cites = {0},
citedby = {0},
journal = {Electronic Notes in Theoretical Computer Science},
volume = {174},
number = {3},
pages = {57-70},
}