DBpedia – Linked Data Fragments

Matches in DBpedia 2016-04 for { <http://research.microsoft.com/en-us/um/people/lamport/tla/tla2-guide.pdf> ?p ?o }

• tla2-guide.pdf accessDate "2015-05-02".
• tla2-guide.pdf authorlink "Leslie Lamport".
• tla2-guide.pdf date "2014-01-15".
• tla2-guide.pdf first "Leslie".
• tla2-guide.pdf isCitedBy TLA+.
• tla2-guide.pdf last "Lamport".
• tla2-guide.pdf title "TLA+2: A Preliminary Guide".
• tla2-guide.pdf url tla2-guide.pdf.