Matches in DBpedia 2016-04 for { <http://www.tcs.tifr.res.in/~pandya/dcvalid.html> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- dcvalid.html accessdate "2014-01-29".
- dcvalid.html date "1997–2001".
- dcvalid.html first "Paritosh".
- dcvalid.html isCitedBy Paritosh_Pandya.
- dcvalid.html last "Pandya".
- dcvalid.html location "India".
- dcvalid.html publisher Tata_Institute_of_Fundamental_Research.
- dcvalid.html title "DCVALID: A tool for modelchecking Duration Calculus Formulae".
- dcvalid.html url dcvalid.html.