Zobrazeno 1 - 10
of 33
pro vyhledávání: '"Kurshan, R."'
Autor:
KURSHAN, R. P., ODLYZKO, A. M.
Publikováno v:
Mathematica Scandinavica, 1981 Jan 01. 49(1), 15-35.
Externí odkaz:
https://www.jstor.org/stable/24494572
Autor:
Kurshan, R.
Publikováno v:
Proceedings Second ACM & IEEE International Conference on Formal Methods & Models for Co-Design, 2004 (MEMOCODE '04); 2004, p147-150, 4p
Akademický článek
Tento výsledek nelze pro nepřihlášené uživatele zobrazit.
K zobrazení výsledku je třeba se přihlásit.
K zobrazení výsledku je třeba se přihlásit.
Autor:
Goos, Gerhard, Hartmanis, Juris, Leeuwen, Jan, Steffen, Bernhard, Kurshan, R., Levin, V., Minea, M., Peled, D., Yenigün, H.
Publikováno v:
Tools & Algorithms for the Construction & Analysis of Systems (9783540643562); 1998, p345-357, 13p
Autor:
Kurshan, R. P.
Publikováno v:
Proceedings of the Twenty-Sixth Annual ACM Symposium: Theory of Computing; 5/23/1994, p365-371, 7p
Autor:
Kurshan, R. P.
Publikováno v:
Proceedings of the 34th Annual Design Automation Conference; 6/ 9/1997, p258-262, 5p
Publikováno v:
Proceedings of the 1997 IEEE ACM International Conference Computer-aided Design; 11/13/1997, p742-749, 8p
Autor:
Kurshan, R. P., McMillan, K.
Publikováno v:
Proceedings of the Eighth Annual ACM Symposium: Principles of Distributed Computing; 6/ 1/1989, p239-247, 9p
Publikováno v:
Formal Methods in System Design; Mar2001, Vol. 18 Issue 2, p131-140, 10p