Anna Gringauze (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

4 Sharon Barner, Daniel Geist, Anna Gringauze: Symbolic Localization Reduction with Reconstruction Layering and Backtracking. CAV 2002: 65-77

Selection of 1 from 5 records - Anna Gringauze has 10 coauthors