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