( en | de | ru )

 

Disambiguation of "Lustig, Yoad"

Author of the publication

copydeleteadd this publication to your clipboard
On Locally Checkable Properties.

, , and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 302-316. Springer, (2006)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Konrad Lustig

Ludwig Lustig

Walter Lustig

Gunther Lustig

Christian Lustig

 

Other publications of authors with the same name

On Locally Checkable Properties., , and . LPAR, volume 4246 of Lecture Notes in Computer Science, page 302-316. Springer, (2006)Temporal Synthesis for Bounded Systems and Environments., , , and . STACS, volume 9 of LIPIcs, page 615-626. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)Supporting SAT based BMC on Finite Path Models., , , , , and . BMC@CAV, volume 144 of Electronic Notes in Theoretical Computer Science, page 67-77. Elsevier, (2005)What Triggers a Behavior?, and . FMCAD, page 146-153. IEEE Computer Society, (2007)Multi-valued Logics, Automata, Simulations, and Games., and . VMCAI, volume 4905 of Lecture Notes in Computer Science, page 5. Springer, (2008)Synthesis from Recursive-Components Libraries, and . GandALF, volume 54 of EPTCS, page 1-16. (2011)A Modular Approach for Büchi Determinization., and . CONCUR, volume 42 of LIPIcs, page 368-382. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2015)Synthesis from Component Libraries., and . FoSSaCS, volume 5504 of Lecture Notes in Computer Science, page 395-409. Springer, (2009)Lattice Automata., and . VMCAI, volume 4349 of Lecture Notes in Computer Science, page 199-213. Springer, (2007)Latticed Simulation Relations and Games., and . ATVA, volume 4762 of Lecture Notes in Computer Science, page 316-330. Springer, (2007)