@inproceedings{wolper:boigelot:1998,
    Address = {Berlin, Heidelberg},
    Author = {Wolper, Pierre and Boigelot, Bernard},
    BookTitle = {Proc. of CAV'98},
    Editor = {Hu, Alan J. and Vardi, Moshe Y.},
    File = {Verifying systems with infinite but regular state spaces - Wolper, Boigelot (0) (0) - a - a - v.pdf},
    ISBN = {978-3-540-64608-2},
    Keywords = {regular model checking},
    Pages = {88-97},
    Publisher = {Springer},
    Series = {LNCS},
    Title = {Verifying systems with infinite but regular state spaces},
    URL = {http://dx.doi.org/10.1007/BFb0028736},
    Volume = {1427},
    Year = {1998},
    bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0028736},
    date-added = {2013-12-22 12:15:12 +0000},
    date-modified = {2013-12-22 18:06:43 +0000},
    doi = {10.1007/BFb0028736}
}

@inproceedings{wolper:boigelot:1998, Address = {Berlin, Heidelberg}, Author = {Wolper, Pierre and Boigelot, Bernard}, BookTitle = {Proc. of CAV'98}, Editor = {Hu, Alan J. and Vardi, Moshe Y.}, File = {Verifying systems with infinite but regular state spaces - Wolper, Boigelot (0) (0) - a - a - v.pdf}, ISBN = {978-3-540-64608-2}, Keywords = {regular model checking}, Pages = {88-97}, Publisher = {Springer}, Series = {LNCS}, Title = {Verifying systems with infinite but regular state spaces}, URL = {http://dx.doi.org/10.1007/BFb0028736}, Volume = {1427}, Year = {1998}, bdsk-url-1 = {http://dx.doi.org/10.1007/BFb0028736}, date-added = {2013-12-22 12:15:12 +0000}, date-modified = {2013-12-22 18:06:43 +0000}, doi = {10.1007/BFb0028736} }