Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-540-45069-6_3> ?p ?o }
Showing triples 1 to 22 of
22
with 100 triples per page.
- 978-3-540-45069-6_3 chapter "Reasoning with Temporal Logic on Truncated Paths".
- 978-3-540-45069-6_3 doi "10.1007/978-3-540-45069-6_3".
- 978-3-540-45069-6_3 first1 "Cindy".
- 978-3-540-45069-6_3 first2 "Dana".
- 978-3-540-45069-6_3 first3 "John".
- 978-3-540-45069-6_3 first4 "Yoad".
- 978-3-540-45069-6_3 first5 "Anthony".
- 978-3-540-45069-6_3 first6 "David".
- 978-3-540-45069-6_3 isCitedBy Property_Specification_Language.
- 978-3-540-45069-6_3 isbn "978-3-540-40524-5".
- 978-3-540-45069-6_3 last1 "Eisner".
- 978-3-540-45069-6_3 last2 "Fisman".
- 978-3-540-45069-6_3 last3 "Havlicek".
- 978-3-540-45069-6_3 last4 "Lustig".
- 978-3-540-45069-6_3 last5 "McIsaac".
- 978-3-540-45069-6_3 last6 "Van Campenhout".
- 978-3-540-45069-6_3 pages "27".
- 978-3-540-45069-6_3 series "Lecture Notes in Computer Science".
- 978-3-540-45069-6_3 title "Computer Aided Verification".
- 978-3-540-45069-6_3 url cav49.pdf.
- 978-3-540-45069-6_3 volume "2725".
- 978-3-540-45069-6_3 year "2003".