Thomas A. Henzinger (editor)

Handbook of Model Checking

2018 · ENGLISH · PDF

View details →

Embedded Software: First International Workshop, EMSOFT 2001, Tahoe City, CA, USA, October 8-10, 2001. Proceedings (Lecture Notes in Computer Science, 2211)

2001 · ENGLISH · PDF

View details →

Computer Science Logic: 21 International Workshop, CSL 2007, 16th Annual Conference of the EACSL, Lausanne, Switzerland, September 11-15, 2007, Proceedings (Lecture Notes in Computer Science, 4646)

2007 · ENGLISH · PDF

View details →

Computational Methods in Systems Biology: 11th International Conference, CMSB 2013, Klosterneuburg, Austria, September 22-24, 2013, Proceedings (Lecture Notes in Computer Science, 8130)

2013 · ENGLISH · PDF

View details →