Mendler, Michael ; Stroup, T.:
Newtonian arbiters cannot be proven correct
.
In: Staunstrup J. ; Sharp, R. (Hrsg.) : Workshop on Designing Correct Circuits.
Amsterdam and New York : North Holland, 1992, S. 47-66.
Institution: Professur für Grundlagen der Informatik
|
|