{"_id":"KgkY9FQtiRNz9qGf4","bibbaseid":"alkassar-schirmer-starostin-formalpervasiveverificationofapagingmechanism-2008","downloads":0,"creationDate":"2017-11-25T00:20:58.019Z","title":"Formal Pervasive Verification of a Paging Mechanism.","author_short":["Alkassar, E.","Schirmer, N.","Starostin, A."],"year":2008,"bibtype":"inproceedings","biburl":"http://www.bibsonomy.org/bib/author/artem?items=1000","bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"propositions":[],"lastnames":["Alkassar"],"firstnames":["Eyad"],"suffixes":[]},{"propositions":[],"lastnames":["Schirmer"],"firstnames":["Norbert"],"suffixes":[]},{"propositions":[],"lastnames":["Starostin"],"firstnames":["Artem"],"suffixes":[]}],"booktitle":"TACAS","crossref":"conf/tacas/2008","editor":[{"propositions":[],"lastnames":["Ramakrishnan"],"firstnames":["C.","R."],"suffixes":[]},{"propositions":[],"lastnames":["Rehof"],"firstnames":["Jakob"],"suffixes":[]}],"ee":"http://dx.doi.org/10.1007/978-3-540-78800-3_9","interhash":"963b34d810b0be7b0538bf5b031f6f11","intrahash":"02316f01aeb15c243f798e013b428462","isbn":"978-3-540-78799-0","pages":"109-123","publisher":"Springer","series":"Lecture Notes in Computer Science","title":"Formal Pervasive Verification of a Paging Mechanism.","url":"http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#AlkassarSS08","volume":"4963","year":"2008","bibtex":"@inproceedings{conf/tacas/AlkassarSS08,\n author = {Alkassar, Eyad and Schirmer, Norbert and Starostin, Artem},\n booktitle = {TACAS},\n crossref = {conf/tacas/2008},\n editor = {Ramakrishnan, C. R. and Rehof, Jakob},\n ee = {http://dx.doi.org/10.1007/978-3-540-78800-3_9},\n interhash = {963b34d810b0be7b0538bf5b031f6f11},\n intrahash = {02316f01aeb15c243f798e013b428462},\n isbn = {978-3-540-78799-0},\n pages = {109-123},\n publisher = {Springer},\n series = {Lecture Notes in Computer Science},\n title = {Formal Pervasive Verification of a Paging Mechanism.},\n url = {http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#AlkassarSS08},\n volume = 4963,\n year = 2008\n}\n\n","author_short":["Alkassar, E.","Schirmer, N.","Starostin, A."],"editor_short":["Ramakrishnan, C. R.","Rehof, J."],"key":"conf/tacas/AlkassarSS08","id":"conf/tacas/AlkassarSS08","bibbaseid":"alkassar-schirmer-starostin-formalpervasiveverificationofapagingmechanism-2008","role":"author","urls":{"Link":"http://dx.doi.org/10.1007/978-3-540-78800-3_9","Paper":"http://dblp.uni-trier.de/db/conf/tacas/tacas2008.html#AlkassarSS08"},"downloads":0},"search_terms":["formal","pervasive","verification","paging","mechanism","alkassar","schirmer","starostin"],"keywords":[],"authorIDs":[],"dataSources":["7supHakfuKN3wzsvy"]}