Model Checking Concurrent Linux Device Drivers
Thomas Witkowski‚ Nicolas Blanc‚ Georg Weissenbacher and Daniel Kroening
Details
| Book Title |
22nd IEEE International Conference on Automated Software Engineering (ASE) |
| ISBN |
978−1−59593−882−4 |
| Pages |
501–504 |
| Publisher |
IEEE |
| Year |
2007 |
Links
Related pages
|
People |
|
|
Activities |