Matches in DBpedia 2016-04 for { <http://www.comp.nus.edu.sg/~sunj/Publications/tase09.pdf> ?p ?o }
Showing triples 1 to 14 of
14
with 100 triples per page.
- tase09.pdf accessdate "2009-04-13".
- tase09.pdf booktitle "IEEE Int. Conf. on Theoretical Aspects of Software Engineering TASE '09".
- tase09.pdf first "Jun".
- tase09.pdf first2 "Yang".
- tase09.pdf first3 "Jin Song".
- tase09.pdf first4 "Chunqing".
- tase09.pdf isCitedBy Communicating_sequential_processes.
- tase09.pdf last "Sun".
- tase09.pdf last2 "Liu".
- tase09.pdf last3 "Dong".
- tase09.pdf last4 "Chen".
- tase09.pdf title "Integrating Specifications and Programs for System Specification and Verification".
- tase09.pdf url tase09.pdf.
- tase09.pdf year "2009".