Вы здесь

Kaufmann M.


Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
М Computer-Aided Reasoning: A Approach 2002 Kaufmann M., Manolios P., Moore J. S. 23.08.2002
СТ Design Constraints in Symbolic Model Checking 1998 Kaufmann M., Martin A., Pixley C. Lecture Notes in Computer Science 03.07.1998
СТ An Industrial Strength Theorem Prover for a Logic Based on Common Lisp 1997 Kaufmann M., Moore J. S. IEEE Trans. on Software Engineering 12.08.1997
СТ Channel Routing of Multiterminal Nets 1994 Gao S., Kaufmann M. J. of the ACM 18.10.1994
СТ Shorter Queues for Permutation Routing on Meshes 1994 Sibeyn J. F., Chlebus B. S., Kaufmann M. Lecture Notes in Computer Science 30.09.1994
СТ Fast Deterministic Hot-Potato Routing on Processor Arrays 1994 Kaufmann M., Lauer H., Schroder H. Lecture Notes in Computer Science 24.08.1994
П Deterministic Permutation Routing on Meshes 1993 Chlebus B. S., Kaufmann M., Sibeyn J. F. Univ.Passau 22.04.1993