@incollection{MayrTotzke:Gap-Order:2013,
    Author = {Mayr, Richard and Totzke, Patrick},
    BookTitle = {Reachability Problems},
    Editor = {Abdulla, ParoshAziz and Potapov, Igor},
    File = {Branching-Time Model Checking Gap-Order Constraint Systems - Mayr, Totzke (1) (0) - a - a - u.pdf},
    ISBN = {978-3-642-41035-2},
    Keywords = {gap-order constraints},
    Language = {English},
    Pages = {171-182},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Branching-Time Model Checking Gap-Order Constraint Systems},
    URL = {http://dx.doi.org/10.1007/978-3-642-41036-9\_16},
    Volume = {8169},
    Year = {2013},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-41036-9\_16},
    date-added = {2014-10-29 10:39:51 +0000},
    date-modified = {2017-09-06 09:32:29 +0000},
    file-2 = {Branching-Time Model Checking Gap-Order Constraint Systems - Mayr, Totzke (0) (0) - a - a - u.pdf},
    doi = {10.1007/978-3-642-41036-9_16}
}

@incollection{MayrTotzke:Gap-Order:2013, Author = {Mayr, Richard and Totzke, Patrick}, BookTitle = {Reachability Problems}, Editor = {Abdulla, ParoshAziz and Potapov, Igor}, File = {Branching-Time Model Checking Gap-Order Constraint Systems - Mayr, Totzke (1) (0) - a - a - u.pdf}, ISBN = {978-3-642-41035-2}, Keywords = {gap-order constraints}, Language = {English}, Pages = {171-182}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Branching-Time Model Checking Gap-Order Constraint Systems}, URL = {http://dx.doi.org/10.1007/978-3-642-41036-9_16}, Volume = {8169}, Year = {2013}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-41036-9_16}, date-added = {2014-10-29 10:39:51 +0000}, date-modified = {2017-09-06 09:32:29 +0000}, file-2 = {Branching-Time Model Checking Gap-Order Constraint Systems - Mayr, Totzke (0) (0) - a - a - u.pdf}, doi = {10.1007/978-3-642-41036-9_16} }