che-chandler.de

Computer Aided Verification

This book constitutes the refereed proceedings of the 21st International Conference on Computer A...

Computer Aided Verification

This book constitutes the refereed proceedings of the 20th International Conference on Computer A...

Computer Aided Verification

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Inter...

Computer Aided Verification

The two-volume set LNCS 9206 and LNCS 9207 constitutes the refereed proceedings of the 27th Inter...

Computer-Aided Verification

Computer-Aided Verification is a collection of papersthat begins with a general survey of hardw...

Computer-Aided Verification of Coordinating Processes

Formal verification increasingly has become recognized as an answer to the problem of how to crea...

Computer Aided Verification

Computer Aided Verification

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

Computer Aided Verification

The two-volume set LNCS 10426 and LNCS 10427 constitutes the refereedproceedings of the 29th In...

Computer Aided Verification

This volume contains the proceedings of the conference on Computer Aided V- i?cation (CAV 2002), ...

Computer Aided Verification

The two-volume set LNCS 9779 and LNCS 9780 constitutes the refereed proceedings of the 28th Inter...

Computer Aided Verification