Guest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems

TitleGuest editors' introduction: Special issue on Probabilistic Techniques for the Design and Analysis of Systems
Publication TypeJournal Article
Year of Publication2003
AuthorsD'Argenio, PR, Baeten, JCM
JournalJ. Log. Algebr. Program.
Volume56
Pagination1-2
DOI10.1016/S1567-8326(02)00064-4