Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/978-3-662-43652-3_3> ?p ?o }
Showing triples 1 to 11 of
11
with 100 triples per page.
- 978-3-662-43652-3_3 date "2014".
- 978-3-662-43652-3_3 doi "10.1007/978-3-662-43652-3_3".
- 978-3-662-43652-3_3 first "Newcombe".
- 978-3-662-43652-3_3 isCitedBy TLA+.
- 978-3-662-43652-3_3 issue "Abstract State Machines, Alloy, B, TLA, VDM, and Z".
- 978-3-662-43652-3_3 journal "Lecture Notes in Computer Science".
- 978-3-662-43652-3_3 last "Chris".
- 978-3-662-43652-3_3 pages "25–39".
- 978-3-662-43652-3_3 publisher "Springer Berlin Heidelberg".
- 978-3-662-43652-3_3 title "Why Amazon Chose TLA+".
- 978-3-662-43652-3_3 volume "8477".