Zobrazeno 1 - 10
of 21
pro vyhledávání: '"German, Steven M."'
Autor:
German, Steven M., Sistla, A. Prasad
Publikováno v:
Journal of the ACM; Jul1992, Vol. 39 Issue 3, p675-735, 61p
Publikováno v:
Journal of the ACM; Jul1983, Vol. 30 Issue 3, p612-636, 25p
Autor:
German, Steven M.
Publikováno v:
2011 Formal Methods in Computer-Aided Design (FMCAD); 1/ 1/2011, p176-185, 10p
Autor:
Bair, Dean G.1 dgbair@us.ibm.com, German, Steven M.2 german@watson.ibm.com, Wollyung, William D.3 wollyung@us.ibm.com, Kaminski Jr., Edward J.3 ekamin01@us.ibm.com, Schafer, James3 schafer@us.ibm.com, Mullen, Michael P.1 mpmullen@us.ibm.com, Lewis, William J.3 wjlewis@us.ibm.com, Wisniewski, Rebecca3 wisnski@us.ibm.com, Walter, Joerg4 jwalter@de.ibm.com, Mittermaier, Steven3 mitt@us.ibm.com, Vokhshoori, Visda3 visda@us.ibm.com, Adkins, Robert J.3 adkins@us.ibm.com, Halas, Michael3 mohalas@us.ibm.com, Ruane, Thomas3 ruane@us.ibm.com, Hahn, Ursel4 hahnurs@de.ibm.com
Publikováno v:
IBM Journal of Research & Development. May/Jul2004, Vol. 48 Issue 3/4, p347-365. 19p. 7 Diagrams.
Publikováno v:
Formal Methods in Computer Aided Design (FMCAD'07); 2007, p53-61, 9p
Publikováno v:
Model Checking Software (9783540331025); 2006, p252-270, 19p
Autor:
German, Steven M.1
Publikováno v:
IEEE Transactions on Software Engineering. Nov84, Vol. 10 Issue 6, p764-777. 14p. 1 Chart.
Autor:
German, Steven M., Wegbreit, Ben
Publikováno v:
AFIPS Joint Computer Conferences; May1975, p369-376, 8p
Autor:
German, Steven M.
Publikováno v:
Proceedings of the 5th ACM SIGACT-SIGPLAN Symposium: Principles of Programming Languages; Jan1978, p105-118, 14p
Publikováno v:
Proceedings of the 9th ACM SIGPLAN-SIHACT Symposium: Principles of Programming Languages; 1/25/1982, p309-321, 13p