Skip to main content
Skip to navigation
Skip to toolbar

Browse by Author

1 Results for "Basler, Gérard Charly"

Subscribe to RSS feed for this result set

Sort results by

Results per page

1. Model checking Boolean programs

Basler, Gérard Charly (2010)

Doctoral and Habilitation Theses