Formal Modeling and Analysis of Timed Systems [Risorsa elettronica] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer

• Record Nr.: UNINA990009239910403321
• Pubbl/distr/stampa: Berlin ; Heidelberg : Springer, 2006
• ISBN: 9783540450313
• Collana: Lecture Notes in Computer Science , 0302-9743 ; 4202
• Lingua di pubblicazione: Inglese
• Formato: Risorsa elettronica
• Livello bibliografico: Monografia

Biblioteka i edukacja

• Record Nr.: UNINA9910586615503321
• Pubbl/distr/stampa: Kraków : , : Biblioteka Główna Uniwersytetu Pedagogicznego
• ISSN: 2299-565X
• Descrizione fisica: 1 online resource
• Soggetti: Libraries and education; Library science; Periodicals.; Electronic journals.
• Lingua di pubblicazione: Polacco
• Formato: Materiale a stampa
• Livello bibliografico: Periodico