( en | de | ru )

 

Disambiguation of "German, Steven M."

Author of the publication

copydeleteadd this publication to your clipboard
Reasoning about Systems with Many Processes.

, and . J. ACM, 39 (3): 675-735 (1992)

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. You can also use the button next to the name to display some publications already assigned to the person.

Steven Liu

Steven Ding

Adolf Steven

Steven Ahlig

Doris Steven

 

Other publications of authors with the same name

Reasoning about Systems with Many Processes., and . J. ACM, 39 (3): 675-735 (1992)Processor Verification Using Efficient Reductions of the Logic of Uninterpreted Functions to Propositional Logic, , and . CoRR, (1999)Research Goals for Formal Methods.. ACM Comput. Surv., 28 (4es): 118 (1996)Reasoning About Procedures as Parameters., , and . Logic of Programs, volume 164 of Lecture Notes in Computer Science, page 206-220. Springer, (1983)True Relative Completeness of an Axiom System for the Language L4 (Abridged), , and . LICS, page 11-25. IEEE Computer Society, (1986)Functional verification of the z990 superscalar, multibook microprocessor complex., , , , , , , , , and 5 other author(s). IBM J. Res. Dev., 48 (3-4): 347-366 (2004)Processor verification using efficient reductions of the logic of uninterpreted functions to propositional logic., , and . ACM Trans. Comput. Log., 2 (1): 93-134 (2001)Zeus: A Language for Expressing Algorithms in Hardware., and . Computer, 18 (2): 55-65 (1985)Semantics and Reasoning with Free Procedures.. Theor. Comput. Sci., 97 (1): 67-81 (1992)Verifying the SRT Division Algorithm Using Theorem Proving Techniques., , and . CAV, volume 1102 of Lecture Notes in Computer Science, page 111-122. Springer, (1996)