Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-642-32759-9_14> ?p ?o }
Showing triples 1 to 23 of
23
with 100 triples per page.
- 978-3-642-32759-9_14 accessdate "2015-05-14".
- 978-3-642-32759-9_14 authorlink3 "Leslie Lamport".
- 978-3-642-32759-9_14 date "2012-01-01".
- 978-3-642-32759-9_14 doi "10.1007/978-3-642-32759-9_14".
- 978-3-642-32759-9_14 first1 "Denis".
- 978-3-642-32759-9_14 first2 "Damien".
- 978-3-642-32759-9_14 first3 "Leslie".
- 978-3-642-32759-9_14 first4 "Stephan".
- 978-3-642-32759-9_14 first5 "Daniel".
- 978-3-642-32759-9_14 first6 "Hernán".
- 978-3-642-32759-9_14 isCitedBy TLA+.
- 978-3-642-32759-9_14 journal "FM 2012: Formal Methods".
- 978-3-642-32759-9_14 last1 "Cousineau".
- 978-3-642-32759-9_14 last2 "Doligez".
- 978-3-642-32759-9_14 last3 "Lamport".
- 978-3-642-32759-9_14 last4 "Merz".
- 978-3-642-32759-9_14 last5 "Ricketts".
- 978-3-642-32759-9_14 last6 "Vanzetto".
- 978-3-642-32759-9_14 pages "147–154".
- 978-3-642-32759-9_14 publisher "Springer Berlin Heidelberg".
- 978-3-642-32759-9_14 title "TLA+ Proofs".
- 978-3-642-32759-9_14 url tlaps.pdf.
- 978-3-642-32759-9_14 volume "7436".