%0 Journal Article %1 journals/dt/FerrandiFSMP97 %A Ferrandi, Fabrizio %A Fummi, Franco %A Sciuto, Donatella %A Macii, Enrico %A Poncino, Massimo %D 1997 %J IEEE Des. Test Comput. %K dblp %N 4 %P 69-77 %T Testing Core-Based Systems: A Symbolic Methodology. %U http://dblp.uni-trier.de/db/journals/dt/dt14.html#FerrandiFSMP97 %V 14

@article{journals/dt/FerrandiFSMP97, added-at = {2020-05-17T00:00:00.000+0200}, author = {Ferrandi, Fabrizio and Fummi, Franco and Sciuto, Donatella and Macii, Enrico and Poncino, Massimo}, biburl = {https://www.bibsonomy.org/bibtex/20523aa822c8cf95c3caa11095a031290/dblp}, ee = {https://www.wikidata.org/entity/Q57610185}, interhash = {910c039040ee1b5b302d7531f4fe1a46}, intrahash = {0523aa822c8cf95c3caa11095a031290}, journal = {IEEE Des. Test Comput.}, keywords = {dblp}, number = 4, pages = {69-77}, timestamp = {2020-05-19T12:19:50.000+0200}, title = {Testing Core-Based Systems: A Symbolic Methodology.}, url = {http://dblp.uni-trier.de/db/journals/dt/dt14.html#FerrandiFSMP97}, volume = 14, year = 1997 }