Browse by Journal

Group by: Creator's name | Item Type | Date | No Grouping

Jump to: 2015

Number of items: 1.

2015

Grigore, Radu and Kiefer, Stefan (2015) Tree Buffers. In: Computer Aided Verification 27th International Conference. Lecture Notes in Computer Science . Springer, Cham, Switzerland, pp. 290-306. ISBN 978-3-319-21689-8. E-ISBN 978-3-319-21690-4. (doi:10.1007/978-3-319-21690-4_17) (KAR id:54173)

This list was generated on Sun May 5 22:22:06 2024 BST.