Loading...
The system can't perform the operation now. Try again later.
Articles
Case law
Profiles
My profile
My library
Metrics
Alerts
Settings
Get journal articles
Get journal articles
Profiles
My profile
My library
Lucian M. Patcas
McMaster University, Computing and Software
Verified email at mcmaster.ca
Cited by 130
Safety-Critical Systems
Real-Time Systems
Formal Methods
Theorem Proving
Relation Algebra
Privacy
Terms
Help
About Scholar
Search help