Matches in DBpedia 2016-04 for { <http://doi.org/10.1109/32.345823> ?p ?o }
Showing triples 1 to 10 of
10
with 100 triples per page.
- 32.345823 doi "10.1109/32.345823".
- 32.345823 first "G.".
- 32.345823 isCitedBy Communicating_sequential_processes.
- 32.345823 issue "2".
- 32.345823 journal "IEEE Transactions on Software Engineering".
- 32.345823 last "Barrett".
- 32.345823 pages "69–78".
- 32.345823 title "Model checking in practice: The T9000 Virtual Channel Processor".
- 32.345823 volume "21".
- 32.345823 year "1995".