%0 Journal Article %1 journals/trob/KalitaK02 %A Kalita, Dhrubajyoti %A Khargonekar, Pramod P. %D 2002 %J IEEE Trans. Robotics Autom. %K dblp %N 4 %P 463-474 %T Formal verification for analysis and design of logic controllers for reconfigurable machining systems. %U http://dblp.uni-trier.de/db/journals/trob/trob18.html#KalitaK02 %V 18

@article{journals/trob/KalitaK02, added-at = {2020-05-19T00:00:00.000+0200}, author = {Kalita, Dhrubajyoti and Khargonekar, Pramod P.}, biburl = {https://www.bibsonomy.org/bibtex/2b2fdb667eed4454667e2eb8009d3a4b7/dblp}, ee = {https://doi.org/10.1109/TRA.2002.802206}, interhash = {b090b8d518d8f8b969d066b149d8b929}, intrahash = {b2fdb667eed4454667e2eb8009d3a4b7}, journal = {IEEE Trans. Robotics Autom.}, keywords = {dblp}, number = 4, pages = {463-474}, timestamp = {2020-05-20T11:44:49.000+0200}, title = {Formal verification for analysis and design of logic controllers for reconfigurable machining systems.}, url = {http://dblp.uni-trier.de/db/journals/trob/trob18.html#KalitaK02}, volume = 18, year = 2002 }