%0 Journal Article %1 journals/tsmc/BelliniBN00 %A Bellini, Pierfrancesco %A Bruno, Mario Andres %A Nesi, Paolo %D 2000 %J IEEE Trans. Syst. Man Cybern. Part A %K dblp %N 6 %P 692-709 %T Verification of external specifications of reactive systems. %U http://dblp.uni-trier.de/db/journals/tsmc/tsmca30.html#BelliniBN00 %V 30

@article{journals/tsmc/BelliniBN00, added-at = {2020-05-25T00:00:00.000+0200}, author = {Bellini, Pierfrancesco and Bruno, Mario Andres and Nesi, Paolo}, biburl = {https://www.bibsonomy.org/bibtex/22854d9e50b255eefab23ae975bd00999/dblp}, ee = {https://doi.org/10.1109/3468.895892}, interhash = {4ad04925956597897425f4034503504a}, intrahash = {2854d9e50b255eefab23ae975bd00999}, journal = {IEEE Trans. Syst. Man Cybern. Part A}, keywords = {dblp}, number = 6, pages = {692-709}, timestamp = {2020-05-26T11:46:26.000+0200}, title = {Verification of external specifications of reactive systems.}, url = {http://dblp.uni-trier.de/db/journals/tsmc/tsmca30.html#BelliniBN00}, volume = 30, year = 2000 }