%0 Thesis %1 phd/it/Menghi15 %A Menghi, Claudio %D 2015 %K dblp %T Dealing with incompleteness in automata based model checking.

@phdthesis{phd/it/Menghi15, added-at = {2022-10-20T00:00:00.000+0200}, author = {Menghi, Claudio}, biburl = {https://www.bibsonomy.org/bibtex/246b15c83d99072c1cedbafb18eb18c82/dblp}, ee = {https://hdl.handle.net/10589/114509}, interhash = {5631330215e9fbe14a991a38543f1468}, intrahash = {46b15c83d99072c1cedbafb18eb18c82}, keywords = {dblp}, school = {Polytechnic University of Milan, Italy}, timestamp = {2024-04-09T09:27:19.000+0200}, title = {Dealing with incompleteness in automata based model checking.}, year = 2015 }