• Model checking for time divisi...
  • Bestand

Treffer: Model checking for time division multiple access systems

Titel:
Model checking for time division multiple access systems
Beteiligt:
Muñiz Rodríguez, Marco Antonio (Verfasser) ; Podelski, Andreas (Akademischer Betreuer) 
Veröffent­licht:
Freiburg : Universität, 2015
Umfang:
Online-Ressource
Format:
E-Book
Sprache:
Englisch
Hochschul­schrift:
Dissertation, Albert-Ludwigs-Universität Freiburg, 2015
DOI:
10.6094/UNIFR/10161

Zusatz-Informationen

Zusatz-Funktionen