Matches in DBpedia 2015-10 for { <http://www.ccs.neu.edu/home/pete/research/spin-3spin.html> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- spin-3spin.html contribution "Fast and Accurate Bitstate Verification for SPIN".
- spin-3spin.html first1 "Peter C.".
- spin-3spin.html first2 "Panagiotis".
- spin-3spin.html isCitedBy Bloom_filter.
- spin-3spin.html last1 "Dillinger".
- spin-3spin.html last2 "Manolios".
- spin-3spin.html publisher "Springer-Verlag, Lecture Notes in Computer Science 2989".
- spin-3spin.html title "Proceedings of the 11th International Spin Workshop on Model Checking Software".
- spin-3spin.html url spin-3spin.html.
- spin-3spin.html year "2004a".