@inbook{Elgaard:MONA:CAV:1998,
    Address = {Berlin, Heidelberg},
    Author = {Elgaard, Jacob and Klarlund, Nils and M{\o}ller, Anders},
    BookTitle = {Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 -- July 2, 1998 Proceedings},
    Editor = {Hu, Alan J. and Vardi, Moshe Y.},
    File = {MONA 1.x New techniques for WS1S and WS2S (pp 516--520) - Elgaard, Klarlund, Møller (1) (0) - a - a - e.pdf},
    ISBN = {978-3-540-69339-0},
    Pages = {516--520},
    Publisher = {Springer Berlin Heidelberg},
    Title = {MONA 1.x: New techniques for WS1S and WS2S},
    URL = {http://dx.doi.org/10.1007/BFb0028773},
    Year = {1998},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0028773},
    date-added = {2016-11-14 10:45:35 +0000},
    date-modified = {2016-11-14 10:46:07 +0000},
    file-2 = {MONA 1.x New techniques for WS1S and WS2S (pp 516--520) - Elgaard, Klarlund, Møller (0) (0) - a - a - e.pdf},
    doi = {10.1007/BFb0028773}
}

@inbook{Elgaard:MONA:CAV:1998, Address = {Berlin, Heidelberg}, Author = {Elgaard, Jacob and Klarlund, Nils and M{\o}ller, Anders}, BookTitle = {Computer Aided Verification: 10th International Conference, CAV'98 Vancouver, BC, Canada, June 28 -- July 2, 1998 Proceedings}, Editor = {Hu, Alan J. and Vardi, Moshe Y.}, File = {MONA 1.x New techniques for WS1S and WS2S (pp 516--520) - Elgaard, Klarlund, Møller (1) (0) - a - a - e.pdf}, ISBN = {978-3-540-69339-0}, Pages = {516--520}, Publisher = {Springer Berlin Heidelberg}, Title = {MONA 1.x: New techniques for WS1S and WS2S}, URL = {http://dx.doi.org/10.1007/BFb0028773}, Year = {1998}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0028773}, date-added = {2016-11-14 10:45:35 +0000}, date-modified = {2016-11-14 10:46:07 +0000}, file-2 = {MONA 1.x New techniques for WS1S and WS2S (pp 516--520) - Elgaard, Klarlund, Møller (0) (0) - a - a - e.pdf}, doi = {10.1007/BFb0028773} }