Colimits for Concurrent Collectors
Dusko Pavlovic, Peter Pepper and Douglas R. Smith infobook title | Verification —- Theory and Practice. Essays Dedicated to Zohar Mana on the Occasion of His 64th Birthday |
editor | Nachum Dershowitz |
pages | 568—597 |
publisher | Springer Verlag |
series | Lecture Notes in Computer Science |
volume | 2772 |
year | 2003 |
links
BibTeX
related pages
|
