Вы здесь

Waldmann U.

Автор:

Вид Название Год Автор Серия Редакторы Колл. автор Источник Дата поступления
СТ Automatic Verification of Hybrid Systems with Large Discrete State Space 2006 Damm W., Disch S., Hungar H., Pang J., Pigorsch F., Scholl Ch., Waldmann U., Wirtz B. Lecture Notes in Computer Science Lecture Notes in Computer Science 11.01.2007
СТ Superposition with Simplification as a Decision Procedure for the Monadic Class with Equality 1993 Bachmair L., Ganzinger H., Waldmann U. Lecture Notes in Computer Science 21.09.1993
СТ Semantics of Order-Sorted Specifications 1992 Waldmann U. Theoretical Computer Science 31.03.1992