Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-48153-2_6> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- 3-540-48153-2_6 accessdate "2015-05-14".
- 3-540-48153-2_6 authorlink3 "Leslie Lamport".
- 3-540-48153-2_6 date "1999".
- 3-540-48153-2_6 doi "10.1007/3-540-48153-2_6".
- 3-540-48153-2_6 first1 "Yuan".
- 3-540-48153-2_6 first2 "Panagiotis".
- 3-540-48153-2_6 first3 "Leslie".
- 3-540-48153-2_6 isCitedBy TLA+.
- 3-540-48153-2_6 journal "Correct Hardware Design and Verification Methods".
- 3-540-48153-2_6 last1 "Yu".
- 3-540-48153-2_6 last2 "Manolios".
- 3-540-48153-2_6 last3 "Lamport".
- 3-540-48153-2_6 pages "54–66".
- 3-540-48153-2_6 publisher "Springer-Verlag".
- 3-540-48153-2_6 title "Model checking TLA+ specifications".
- 3-540-48153-2_6 url yuanyu-model-checking.pdf.