-
1Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings / Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /Texto bibliotecaCOLPOS
-
2Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings / Hybrid Systems: Computation and Control [electronic resource] : 6th International Workshop, HSCC 2003 Prague, Czech Republic, April 3–5, 2003 Proceedings /Texto bibliotecaCOLPOS
-
3Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /by Roever, Willem-Paul de. editor., Langmaack, Hans. editor., Pnueli, Amir. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS -
4Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures / Compositionality: The Significant Difference [electronic resource] : International Symposium, COMPOS’97 Bad Malente, Germany, September 8–12, 1997 Revised Lectures /by Roever, Willem-Paul de. editor., Langmaack, Hans. editor., Pnueli, Amir. editor., SpringerLink (Online service)
Published 1998Texto bibliotecaCOLPOS