Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 contribution "40 Years of Formal Methods: Some Obstacles and Some Possibilities?".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 first "Dines".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 first2 "Klaus".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 isCitedBy DDC-I.
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 isCitedBy Dansk_Datamatik_Center.
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 isCitedBy Formal_methods.
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 last "Bjørner".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 last2 "Havelund".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 pages "42–61".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 publisher "Springer".
- 4247f7b852877815bafa47db5c266a36bcf8c3a2396c4c18cb1ff3d38c1f2e91 title "--05-12".