Bart Vergauwen (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

5 Bart Vergauwen, Johan Lewi, I. Avau, A. Poté: Efficient Computation of Nested Fix-Points, with Applications to Model Checking. ICTL 1994: 165-179

Selection of 1 from 7 records - Bart Vergauwen has 5 coauthors