( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Synthesis of Multilevel Boolean Networks.

, , , , и . Boolean Models and Methods, Cambridge University Press, (2010)

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.

Robert K Saam

Robert K Müller

Robert K Müller

Robert K Dudler

Robert K G Köhler

 

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

Exact Required Time Analysis via False Path Detection., и . DAC, стр. 220-225. ACM Press, (1997)Logic Synthesis for Programmable Gate Arrays., , , , и . DAC, стр. 620-625. IEEE Computer Society Press, (1990)Solving the State Assignment Problem for Signal Transition Graphs., , , и . DAC, стр. 568-572. IEEE Computer Society Press, (1992)Equivalence of Robust Delay-Fault and Single Stuck-Fault Test Generation., , и . DAC, стр. 173-176. IEEE Computer Society Press, (1992)An Improved Synthesis Algorithm for Multiplexor-Based PGA's., , и . DAC, стр. 380-386. IEEE Computer Society Press, (1992)Timing Analysis in Precharge/Unate Networks., и . DAC, стр. 124-129. IEEE Computer Society Press, (1990)Permissible Observability Relations in FSM Networks., и . DAC, стр. 677-683. ACM Press, (1994)A Fully Implicit Algorithm for Exact State Minimization., , , и . DAC, стр. 684-690. ACM Press, (1994)Verifying Continuous Time Markov Chains., , , и . CAV, том 1102 из Lecture Notes in Computer Science, стр. 269-276. Springer, (1996)Timed Boolean functions - a unified formalism for exact timing analysis., и . The Kluwer international series in engineering and computer science Kluwer, (1994)