Alain Finkel

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings

1992 · ENGLISH · PDF

View details →

Systems and Software Verification: Model-Checking Techniques and Tools

2001 · ENGLISH · PDF

View details →

Reachability Problems: 6th International Workshop, RP 2012, Bordeaux, France, September 17-19, 2012. Proceedings

2012 · ENGLISH · PDF

View details →

STACS 92: 9th Annual Symposium on Theoretical Aspects of Computer Science Cachan, France, February 13–15, 1992 Proceedings

1992 · ENGLISH · DJVU

View details →