@article{Abdulla:STTT:2012,
    Author = {Abdulla, Parosh Aziz},
    File = {Regular model checking - Abdulla (0) (0) - a - a - y.pdf},
    Journal = {International Journal on Software Tools for Technology Transfer (STTT)},
    Keywords = {regular model checking and survey and readme},
    Number = {2},
    Pages = {109--118},
    Title = {Regular model checking},
    Volume = {14},
    Year = {2012},
    bdsk-url-1 = {http://www.springerlink.com/content/c660725341g8p004/fulltext.pdf},
    bdsk-url-2 = {http://dx.doi.org/10.1007/s10009-011-0216-8},
    date-added = {2012-05-24 15:28:31 +0200},
    date-modified = {2019-03-08 19:46:23 +0100},
    doi = {10.1007/s10009-011-0216-8}
}

@article{Abdulla:STTT:2012, Author = {Abdulla, Parosh Aziz}, File = {Regular model checking - Abdulla (0) (0) - a - a - y.pdf}, Journal = {International Journal on Software Tools for Technology Transfer (STTT)}, Keywords = {regular model checking and survey and readme}, Number = {2}, Pages = {109--118}, Title = {Regular model checking}, Volume = {14}, Year = {2012}, bdsk-url-1 = {http://www.springerlink.com/content/c660725341g8p004/fulltext.pdf}, bdsk-url-2 = {http://dx.doi.org/10.1007/s10009-011-0216-8}, date-added = {2012-05-24 15:28:31 +0200}, date-modified = {2019-03-08 19:46:23 +0100}, doi = {10.1007/s10009-011-0216-8} }