Informationssystem der Otto-Friedrich-Universität Bamberg
© Config eG
Sammlung/Stundenplan
Home
|
Anmelden
|
Kontakt
|
Hilfe
Suche:
Personen
Einrichtungen
sonstige Einträge
Lehrveranstaltungen
Räume
Lehr-
veranstaltungen
Personen/
Einrichtungen
Räume
Telefon &
E-Mail
Darstellung
Druckansicht
Außerdem im UnivIS
Vorlesungsverzeichnis
Veranstaltungskalender
Einrichtungen
>>
Fakultät Wirtschaftsinformatik / Angewandte Informatik
>>
Mendler, Michael
; Fairtlough, M.
:
Ternary simulation: A refinement of binary functions or abstraction of real-time behaviour?
In:
Sheeran, M. ; Singh, S.
(Hrsg.) :
Proceedings of the 3rd Workshop on Designing Correct Circuits
(DCC`96).
Berlin u.a. : Springer, 1996, S. 17 Seiten. (Springer Electronic Workshops in Computing)
Institution:
Professur für Grundlagen der Informatik
UnivIS ist ein Produkt der
Config eG
, Buckenhof