Roberto Segala (Selection)

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

- CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - - CSB - MetaPress - Google - Bing - Yahoo

54 Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)

31 Holger Hermanns, Roberto Segala: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings Springer 2002

Selection of 2 from 55 records - Roberto Segala has 39 coauthors

Last update 2012-09-10 CET by the DBLP Team —

Content released under the ODC-BY 1.0 license — See also our legal information page

54		Holger Hermanns, Augusto Parma, Roberto Segala, Björn Wachter, Lijun Zhang: Probabilistic Logical Characterization. Inf. Comput. 209(2): 154-172 (2011)
31		Holger Hermanns, Roberto Segala: Process Algebra and Probabilistic Methods, Performance Modeling and Verification, Second Joint International Workshop PAPM-PROBMIV 2002, Copenhagen, Denmark, July 25-26, 2002, Proceedings Springer 2002