@incollection{kupferman:weighted:12,
    Author = {Avni, Guy and Kupferman, Orna},
    BookTitle = {CONCUR 2012 -- Concurrency Theory},
    Editor = {Koutny, Maciej and Ulidowski, Irek},
    File = {Making Weighted Containment Feasible A Heuristic Based on Simulation and Abstraction - Avni, Kupferman (0) (0) - a - a - l.pdf},
    ISBN = {978-3-642-32939-5},
    Pages = {84-99},
    Publisher = {Springer Berlin Heidelberg},
    Series = {Lecture Notes in Computer Science},
    Title = {Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction},
    URL = {http://dx.doi.org/10.1007/978-3-642-32940-1\_8},
    Volume = {7454},
    Year = {2012},
    bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-32940-1\_8},
    date-added = {2012-12-05 22:16:24 +0000},
    date-modified = {2012-12-05 22:16:24 +0000},
    doi = {10.1007/978-3-642-32940-1_8}
}

@incollection{kupferman:weighted:12, Author = {Avni, Guy and Kupferman, Orna}, BookTitle = {CONCUR 2012 -- Concurrency Theory}, Editor = {Koutny, Maciej and Ulidowski, Irek}, File = {Making Weighted Containment Feasible A Heuristic Based on Simulation and Abstraction - Avni, Kupferman (0) (0) - a - a - l.pdf}, ISBN = {978-3-642-32939-5}, Pages = {84-99}, Publisher = {Springer Berlin Heidelberg}, Series = {Lecture Notes in Computer Science}, Title = {Making Weighted Containment Feasible: A Heuristic Based on Simulation and Abstraction}, URL = {http://dx.doi.org/10.1007/978-3-642-32940-1_8}, Volume = {7454}, Year = {2012}, bdsk-url-1 = {http://dx.doi.org/10.1007/978-3-642-32940-1_8}, date-added = {2012-12-05 22:16:24 +0000}, date-modified = {2012-12-05 22:16:24 +0000}, doi = {10.1007/978-3-642-32940-1_8} }