Matches in DBpedia 2016-04 for { <http://www.acm.org/announcements/kanellakis99.html> ?p ?o }
Showing triples 1 to 12 of
12
with 100 triples per page.
- kanellakis99.html accessdate "2012-12-12".
- kanellakis99.html date "1999-03-26".
- kanellakis99.html date "26 Mar 1999".
- kanellakis99.html isCitedBy E._Allen_Emerson.
- kanellakis99.html isCitedBy List_of_University_of_Texas_at_Austin_alumni.
- kanellakis99.html isCitedBy Paris_Kanellakis.
- kanellakis99.html isCitedBy Paris_Kanellakis_Award.
- kanellakis99.html publisher Association_for_Computing_Machinery.
- kanellakis99.html title "ACM bestows Kanellakis Award for development of 'symbolic model checking,' used in testing computer system designs".
- kanellakis99.html title "Kanellakis Award".
- kanellakis99.html url kanellakis99.html.
- kanellakis99.html url "http://www.acm.org/announcements/kanellakis99.html".