Hao Ren, Jing Huang, Shengbing Jiang, Ratnesh Kumar 0001. Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata. IET Cyper-Phys. Syst.: Theory & Appl., 2(2):65-74, 2017. [doi]
@article{RenHJK17,
title = {Verification using counterexample fragment based specification relaxation: case of modular/concurrent linear hybrid automata},
author = {Hao Ren and Jing Huang and Shengbing Jiang and Ratnesh Kumar 0001},
year = {2017},
url = {http://ieeexplore.ieee.org/document/7995240/},
researchr = {https://researchr.org/publication/RenHJK17},
cites = {0},
citedby = {0},
journal = {IET Cyper-Phys. Syst.: Theory & Appl.},
volume = {2},
number = {2},
pages = {65-74},
}