top
Info
Contattaci
English
Browse
Persona
Opera
Editori
Soggetto
Persona
Opera
Persona/Opera
Vai a Pubblicazioni
Persona/Ente/Famiglia
Espandi
Riduci
Export / Download
PDF
Excel
Marc21 (binary)
Marc XML
Marc (text)
BIBFRAME 2.0 dataset
FORMATS (Conference) (8th : 2010 : Klosterneuburg, Austria)
ID:
9156464
Opere
Altre forme del nome
FORMATS (Conference) (8th : 2010 : Klosterneuburg, Austria)
Seleziona tutte
Deseleziona
Formal modeling and analysis of timed systems
{ formal modeling and analysis of timed systems }
...