Veith, Helmut. - ECU Libraries Catalog

Did you mean: veit or veins or veils or vents or verte

Start Over

You searched for: author Veith, Helmut.

Showing 1 - 5 of 5 results

Search Results

Cover image for 25 years of model checking

25 years of model checking

2008
Format: Electronic

Location
Access Content Online

Cover image for Computer science logic

Computer science logic

by CSL 2010
2010
Format: Electronic

Location
Access Content Online

Cover image for Logic for programming, artificial intelligence, and reasoning

Logic for programming, artificial intelligence, and reasoning

by LPAR (Conference)
2008
Format: Electronic

Location
Access Content Online

Cover image for Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

Computer Aided Verification 25th International Conference, CAV 2013, Saint Petersburg, Russia, July 13-19, 2013. Proceedings

by Sharygina, Natasha
2013
Format: Electronic

Location
Access Content Online

Cover image for Handbook of Model Checking

Handbook of Model Checking

by Clarke, Edmund M.
2018
Format: Electronic

Location
Access Content Online