Rajiv Kumar Poddar, Purandar Bhaduri. Verification of Giotto based Embedded Control Systems. Nord. J. Comput., 13(4):266-293, 2006.
@article{PoddarB06,
title = {Verification of Giotto based Embedded Control Systems},
author = {Rajiv Kumar Poddar and Purandar Bhaduri},
year = {2006},
tags = {control systems, rule-based},
researchr = {https://researchr.org/publication/PoddarB06},
cites = {0},
citedby = {0},
journal = {Nord. J. Comput.},
volume = {13},
number = {4},
pages = {266-293},
}