Formal methods for real-time and probabilistic systems : 5th International AMAST workshop, ARTS '99 : Bamberg, Germany, May 26-28, 1999 : proceedings / Joost-Pieter Katoen (ed.)

• Record Nr.: UNISA990000208660203316
• Autore: International AMAST workshop. ARTS '99 : 5. : 1999
• Pubbl/distr/stampa: Berlin [etc.] : Springer-Verlag, copyr. 1999
• ISBN: 3-540-66010-0
• Descrizione fisica: X, 353 p. : ill. ; 24 cm
• Collana: Lecture notes in computer science ; 1601
• Disciplina: 00433
• Collocazione: 001 LNCS (1601)
• Lingua di pubblicazione: Inglese
• Formato: Materiale a stampa
• Livello bibliografico: Monografia