×
+ All Categories
Log in
English
Français
Español
Deutsch
The top documents tagged [regular specifications]
Home >
regular specifications
Model Checking From Tools to Theory Rajeev Alur University of Pennsylvania 25MC, FLOC, August 2006.
218 views
Nested Words and Trees Rajeev Alur University of Pennsylvania Joint work with S.Chaudhuri & P.Madhusudan Games Workshop, Cambridge, UK, July 2006.
214 views