( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis from Probabilistic Components.

, , и . CSL, том 12 из LIPIcs, стр. 412-427. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2011)

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.

Ludwig Lustig

Walter Lustig

Konrad Lustig

Bernhard Lustig

Sönnke Lustig

 

Другие публикации лиц с тем же именем

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