Loading...
Title
Grundlagen heterogener Spezifikationen mittels Zustandsmaschinen und temporaler Logik
Project leader
Department
Start date
September 1, 2016
End date
August 31, 2021
Permalink
https://fis.uni-bamberg.de/handle/uniba/60026