Goran Frehse. PHAVer: algorithmic verification of hybrid systems past HyTech. STTT, 10(3):263-279, 2008. [doi]
@article{Frehse08, title = {PHAVer: algorithmic verification of hybrid systems past HyTech}, author = {Goran Frehse}, year = {2008}, doi = {10.1007/s10009-007-0062-x}, url = {http://dx.doi.org/10.1007/s10009-007-0062-x}, researchr = {https://researchr.org/publication/Frehse08}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {10}, number = {3}, pages = {263-279}, }