Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Peter Niebert
Peter Niebert
at_id:
orcid_id:
Disciplines:
Computer sciences
Edit
Merge
See Links
Directed Thesis:
Grands réseaux maillés basse énergie : protocoles minimalistes pour la synchronisation, la mesure de distance et le partitionnement
Algorithmes pour la synthèse et le model checking
Méthodes d'ordre partiel pour la vérification de systèmes concurrents et temps réel