%0 Journal Article %1 journals/sigops/HambergV08 %A Hamberg, Roelof %A Vaandrager, Frits W. %D 2008 %J ACM SIGOPS Oper. Syst. Rev. %K dblp %N 6 %P 101-111 %T Using model checkers in an introductory course on operating systems. %U http://dblp.uni-trier.de/db/journals/sigops/sigops42.html#HambergV08 %V 42

@article{journals/sigops/HambergV08, added-at = {2020-07-14T00:00:00.000+0200}, author = {Hamberg, Roelof and Vaandrager, Frits W.}, biburl = {https://www.bibsonomy.org/bibtex/237688db78e64ae06c99dd1780cc82081/dblp}, ee = {https://doi.org/10.1145/1453775.1453793}, interhash = {b054e4c79ed602c54830effe6f7ebf77}, intrahash = {37688db78e64ae06c99dd1780cc82081}, journal = {ACM SIGOPS Oper. Syst. Rev.}, keywords = {dblp}, number = 6, pages = {101-111}, timestamp = {2020-07-24T00:41:40.000+0200}, title = {Using model checkers in an introductory course on operating systems.}, url = {http://dblp.uni-trier.de/db/journals/sigops/sigops42.html#HambergV08}, volume = 42, year = 2008 }