%0 Journal Article %1 journals/trob/FerrariniNT94 %A Ferrarini, Luca %A Narduzzi, Marco %A Tassan-Solet, Massimo %D 1994 %J IEEE Trans. Robotics Autom. %K dblp %N 2 %P 169-184 %T A new approach to modular liveness analysis conceived for large logic controllers' design. %U http://dblp.uni-trier.de/db/journals/trob/trob10.html#FerrariniNT94 %V 10

@article{journals/trob/FerrariniNT94, added-at = {2020-10-26T00:00:00.000+0100}, author = {Ferrarini, Luca and Narduzzi, Marco and Tassan-Solet, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/2e0d07ca1f140ca910575ca4770d38aa5/dblp}, ee = {https://doi.org/10.1109/70.282542}, interhash = {5e126e193201dd1a44a62f81706c5d14}, intrahash = {e0d07ca1f140ca910575ca4770d38aa5}, journal = {IEEE Trans. Robotics Autom.}, keywords = {dblp}, number = 2, pages = {169-184}, timestamp = {2020-10-27T12:25:17.000+0100}, title = {A new approach to modular liveness analysis conceived for large logic controllers' design.}, url = {http://dblp.uni-trier.de/db/journals/trob/trob10.html#FerrariniNT94}, volume = 10, year = 1994 }