SWBplus
Kataloganreicherungen
Cover  
Identifier(PPN) 492997950
Titel Formal Modeling and Analysis of Timed Systems Vollansicht
Autor edited by Alessandro Abate, Gilles Geeraerts
Verlag Springer
Erscheinungsjahr 2017
Erscheinungsort Cham
  Bestand in K10plus / Bibliographische Beschreibung Titelaufnahme im SWB