Formal Modeling and Analysis of Timed Systems [electronic resource] : 4th International Conference, FORMATS 2006, Paris, France, September 25-27, 2006. Proceedings / edited by Eugene Asarin, Patricia Bouyer.
Material type:
Computer fileSeries: Lecture Notes in Computer Science ; 4202 | Lecture Notes in Computer Science ; 4202Publication details: Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2006.Edition: 1a edDescription: v.: digitalISBN: - 9783540450313
- QA76.9.C65 A83 2006
| Item type | Current library | Call number | URL | Copy number | Status | Notes | Barcode | |
|---|---|---|---|---|---|---|---|---|
Libro Electrónico
|
Biblioteca Digital Colección Digital | QA76.9.C65 A83 2006 (Browse shelf(Opens below)) | Link to resource | 1 | Available | SpringerLink | BDIG00009830 |
Browsing Biblioteca Digital shelves, Shelving location: Colección Digital Close shelf browser (Hides shelf browser)
| QA76.9.C63 S53 2007 Forecasting Oracle Performance | QA76.9.C643 C36 2008 Methods and Tools for Collaborative Networked Organizations | QA76.9.C643 M84 2008 OpenMP Shared Memory Parallel Programming International Workshops, IWOMP 2005 and IWOMP 2006, Eugene, OR, USA, June 1-4, 2005, Reims, France, June 12-15, 2006. Proceedings / | QA76.9.C65 A83 2006 Formal Modeling and Analysis of Timed Systems | QA76.9.C65 B35 2005 Systems Modeling and Simulation: Theory and Applications Third Asian Simulation Conference, AsianSim 2004, Jeju Island, Korea, October 4-6, 2004, Revised Selected Papers / | QA76.9.C65 C35 2008 Digital Human Modeling | QA76.9.C65 C37 2008 Formal Modeling and Analysis of Timed Systems |
There are no comments on this title.
Log in to your account to post a comment.