Adriana Carla Damasceno, PatrĂcia D. L. Machado, Wilkerson de L. Andrade. Testing real-time systems from compositional symbolic specifications. STTT, 19(1):53-71, 2017. [doi]
@article{DamascenoMA17, title = {Testing real-time systems from compositional symbolic specifications}, author = {Adriana Carla Damasceno and PatrĂcia D. L. Machado and Wilkerson de L. Andrade}, year = {2017}, doi = {10.1007/s10009-015-0390-1}, url = {http://dx.doi.org/10.1007/s10009-015-0390-1}, researchr = {https://researchr.org/publication/DamascenoMA17}, cites = {0}, citedby = {0}, journal = {STTT}, volume = {19}, number = {1}, pages = {53-71}, }