%0 Report %1 lopes2014cbd %A Lopes, Nuno %A Bjorner, Nikolaj %A Godefroid, Patrice %A Jayaraman, Karthick %A Varghese, George %D 2014 %K imported %N MSR-TR-2014-58 %T Checking Beliefs in Dynamic Networks %U http://research.microsoft.com/apps/pubs/default.aspx?id=215431

@techreport{lopes2014cbd, added-at = {2014-12-10T16:12:02.000+0100}, author = {Lopes, Nuno and Bjorner, Nikolaj and Godefroid, Patrice and Jayaraman, Karthick and Varghese, George}, biburl = {https://www.bibsonomy.org/bibtex/228a7665d8b522eb6fea2bae0f7ac0ede/chesteve}, interhash = {c24e6ab96d99b36325def4b1dba35dbe}, intrahash = {28a7665d8b522eb6fea2bae0f7ac0ede}, keywords = {imported}, month = {April}, number = {MSR-TR-2014-58}, timestamp = {2014-12-10T16:12:02.000+0100}, title = {Checking Beliefs in Dynamic Networks}, url = {http://research.microsoft.com/apps/pubs/default.aspx?id=215431}, year = 2014 }