Matches in DBpedia 2016-04 for { <http://citation.dbpedia.org/hash/6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b> ?p ?o }
Showing triples 1 to 7 of
7
with 100 triples per page.
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b author "M. AndersenH.G. LarsenJ. SrbaM.G. SørensenJ.H. Taankvist".
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b isCitedBy TAPAAL_Model_Checker.
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b journal "MEMICS".
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b pages "69–81".
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b series "LNCS".
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b title "Verification of Liveness Properties on Closed Timed-Arc Petri Nets".
- 6794d5df96aa30d9ebc378c62b8312b67bf35f31ade89d89d6d986d5b0c3773b year "2012".