Toggle navigation
reposiTUm
ABOUT REPOSITUM
HELP
Login
News
Browse by
Publication Types
Organizations
Researchers
Projects
TU Wien Academic Press
Open Access Series
Theses
Digitised Works
Year of Publication
Doyen, Laurent
Network Lab
View Statistics
Email Alert
RSS Feed
Profile
Profil
Publications
Publikationen
Projects
APIs
Name Card
Full name
Familienname, Vorname
Doyen, Laurent
Contributing Publications
Mitbeteiligte Publikationen
(All)
All
Books & Book Chapters
Show/Hide filters
Author
1
Függer, Matthias
1
Schmid, Ulrich
Subject
1
Digital circuits
1
Fault-tolerance
1
Selfstabilization
1
Specification of timed systems
Date issued
1
2022
Close filters
Filter:
Author:
Lenzen, Christoph
Results 1-1 of 1 (Search time: 0.001 seconds).
RIS
EndNote
Bibtex
Excel
CSV
Send via email
Preview
Author(s)
Title
Type
Issue Date
1
Függer, Matthias
; Lenzen, Christoph
; Schmid, Ulrich
On Specifications and Proofs of Timed Circuits
Book Contribution
Buchbeitrag
2022
Claim Researcher Page
Login via ORCID to claim this profile:
ORCID Login
Contact via feedback form
If you want contact administrator site clicking the follow button