Matches in DBpedia 2016-04 for { <http://doi.org/10.1007/3-540-11494-7_22> ?p ?o }
Showing triples 1 to 9 of
9
with 100 triples per page.
- 3-540-11494-7_22 doi "10.1007/3-540-11494-7_22".
- 3-540-11494-7_22 first1 "J. P.".
- 3-540-11494-7_22 first2 "J.".
- 3-540-11494-7_22 isCitedBy Model_checking.
- 3-540-11494-7_22 journal "International Symposium on Programming".
- 3-540-11494-7_22 last1 "Queille".
- 3-540-11494-7_22 last2 "Sifakis".
- 3-540-11494-7_22 title "Specification and verification of concurrent systems in CESAR".
- 3-540-11494-7_22 year "1982".