Tractable Reasoning in a Fragment of Separation Logic.
Byron Cook‚ Christoph Haase‚ Joel Ouaknine‚ Matthew Parkinson and James Worrell
Details
| Book Title |
Proceedings of the 22nd International Conference on Concurrency Theory (CONCUR'11) |
| Editor |
Joost−Pieter Katoen and Barbara König |
| Location |
Aachen‚ Germany |
| Pages |
235–249 |
| Publisher |
Springer |
| Series |
Lecture Notes in Computer Science |
| Volume |
6901 |
| Year |
2011 |
Links
DOI (10.1007/978-3-642-23217-6_16)
Related pages
|
People |