Back to Search
Start Over
Using partial orders for the efficient verification of deadlock freedom and safety properties
- Source :
- Computer Aided Verification ISBN: 9783540551799
- Publication Year :
- 1992
- Publisher :
- Springer Berlin Heidelberg, 1992.
Details
- ISBN :
- 978-3-540-55179-9
- ISBNs :
- 9783540551799
- Database :
- OpenAIRE
- Journal :
- Computer Aided Verification ISBN: 9783540551799
- Accession number :
- edsair.doi...........743b9852de49b0671c1b40b6ebb81a9b
- Full Text :
- https://doi.org/10.1007/3-540-55179-4_32