Matches in DBpedia 2016-04 for { <http://www.comp.nus.edu.sg/~sunj/Publications/ISoLA08.pdf> ?p ?o }
Showing triples 1 to 16 of
16
with 100 triples per page.
- ISoLA08.pdf accessdate "2009-01-15".
- ISoLA08.pdf booktitle "Proceedings of the Third International Symposium on Leveraging Applications of Formal Methods, Verification and Validation".
- ISoLA08.pdf first "Jun".
- ISoLA08.pdf first2 "Yang".
- ISoLA08.pdf first3 "Jin Song".
- ISoLA08.pdf isCitedBy Communicating_sequential_processes.
- ISoLA08.pdf last "Sun".
- ISoLA08.pdf last2 "Liu".
- ISoLA08.pdf last3 "Dong".
- ISoLA08.pdf pages "307–322".
- ISoLA08.pdf publisher "Springer".
- ISoLA08.pdf series "Communications in Computer and Information Science".
- ISoLA08.pdf title "Model Checking CSP Revisited: Introducing a Process Analysis Toolkit".
- ISoLA08.pdf url ISoLA08.pdf.
- ISoLA08.pdf volume "17".
- ISoLA08.pdf year "2008".