@inproceedings{10.1007/978-3-642-54013-4_23,
    Abstract = {We consider the synthesis of reactive systems from specifications with identifiers. Identifiers are useful to parametrize the input and output of a reactive system, for example, to state which client requests a grant from an arbiter, or the type of object that a robot is expected to fetch.},
    Address = {Berlin, Heidelberg},
    Author = {Ehlers, R{\"{u}}diger and Seshia, Sanjit A. and Kress-Gazit, Hadas},
    BookTitle = {Verification, Model Checking, and Abstract Interpretation},
    Editor = {McMillan, Kenneth L. and Rival, Xavier},
    File = {Synthesis with Identifiers - vmcai14 - a - q.pdf},
    ISBN = {978-3-642-54013-4},
    Pages = {415--433},
    Publisher = {Springer Berlin Heidelberg},
    Title = {Synthesis with Identifiers},
    Year = {2014},
    date-added = {2020-08-05 12:57:12 +0200},
    date-modified = {2020-08-05 12:57:12 +0200},
    doi = {10.1007/978-3-642-54013-4_23}
}

@inproceedings{10.1007/978-3-642-54013-4_23, Abstract = {We consider the synthesis of reactive systems from specifications with identifiers. Identifiers are useful to parametrize the input and output of a reactive system, for example, to state which client requests a grant from an arbiter, or the type of object that a robot is expected to fetch.}, Address = {Berlin, Heidelberg}, Author = {Ehlers, R{\"{u}}diger and Seshia, Sanjit A. and Kress-Gazit, Hadas}, BookTitle = {Verification, Model Checking, and Abstract Interpretation}, Editor = {McMillan, Kenneth L. and Rival, Xavier}, File = {Synthesis with Identifiers - vmcai14 - a - q.pdf}, ISBN = {978-3-642-54013-4}, Pages = {415--433}, Publisher = {Springer Berlin Heidelberg}, Title = {Synthesis with Identifiers}, Year = {2014}, date-added = {2020-08-05 12:57:12 +0200}, date-modified = {2020-08-05 12:57:12 +0200}, doi = {10.1007/978-3-642-54013-4_23} }