%0 Journal Article %1 journals/sttt/SebastianiTV11 %A Sebastiani, Roberto %A Tonetta, Stefano %A Vardi, Moshe Y. %D 2011 %J Int. J. Softw. Tools Technol. Transf. %K dblp %N 4 %P 319-335 %T Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking. %U http://dblp.uni-trier.de/db/journals/sttt/sttt13.html#SebastianiTV11 %V 13

@article{journals/sttt/SebastianiTV11, added-at = {2020-04-02T00:00:00.000+0200}, author = {Sebastiani, Roberto and Tonetta, Stefano and Vardi, Moshe Y.}, biburl = {https://www.bibsonomy.org/bibtex/24074582d52fa6106a2d60949359a2208/dblp}, ee = {https://doi.org/10.1007/s10009-010-0168-4}, interhash = {c0538106ca53d412d0bff58c393afe07}, intrahash = {4074582d52fa6106a2d60949359a2208}, journal = {Int. J. Softw. Tools Technol. Transf.}, keywords = {dblp}, number = 4, pages = {319-335}, timestamp = {2020-04-03T11:54:14.000+0200}, title = {Symbolic systems, explicit properties: on hybrid approaches for LTL symbolic model checking.}, url = {http://dblp.uni-trier.de/db/journals/sttt/sttt13.html#SebastianiTV11}, volume = 13, year = 2011 }