%0 Thesis %1 phd/it/Spoletini05 %A Spoletini, Paola %D 2005 %K dblp %T Verification of temporal logic specifications via model checking.

@phdthesis{phd/it/Spoletini05, added-at = {2023-05-10T00:00:00.000+0200}, author = {Spoletini, Paola}, biburl = {https://www.bibsonomy.org/bibtex/275ff05d678ee6157b8438a59b8a28c8a/dblp}, ee = {https://opac.bncf.firenze.sbn.it/bncf-prod/resource?uri=BNI0018974}, interhash = {1671ab485f9775cf735a098db4c32e81}, intrahash = {75ff05d678ee6157b8438a59b8a28c8a}, keywords = {dblp}, school = {Polytechnic University of Milan, Italy}, timestamp = {2024-04-09T09:27:31.000+0200}, title = {Verification of temporal logic specifications via model checking.}, year = 2005 }