%0 Journal Article %1 journals/ijsysc/KapellosSJE99 %A Kapellos, Konstantinos %A Simon, Daniel %A Jourdant, M. %A Espiau, Bernard %D 1999 %J Int. J. Systems Science %K dblp %N 11 %P 1227-1245 %T Task level specification and formal verification of robotics control systems: state of the art and case study. %U http://dblp.uni-trier.de/db/journals/ijsysc/ijsysc30.html#KapellosSJE99 %V 30

@article{journals/ijsysc/KapellosSJE99, added-at = {2008-02-07T00:00:00.000+0100}, author = {Kapellos, Konstantinos and Simon, Daniel and Jourdant, M. and Espiau, Bernard}, biburl = {https://puma.ub.uni-stuttgart.de/bibtex/2345e9b173e7da53ebc1afc82193aa38b/dblp}, ee = {http://dx.doi.org/10.1080/002077299291697}, interhash = {c5a64a6eb2e0cf3ea620ce6876e2f9f2}, intrahash = {345e9b173e7da53ebc1afc82193aa38b}, journal = {Int. J. Systems Science}, keywords = {dblp}, number = 11, pages = {1227-1245}, timestamp = {2016-02-02T10:22:35.000+0100}, title = {Task level specification and formal verification of robotics control systems: state of the art and case study.}, url = {http://dblp.uni-trier.de/db/journals/ijsysc/ijsysc30.html#KapellosSJE99}, volume = 30, year = 1999 }