Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211) - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Javier Esparza, Pierre Fraigniaud, Anca Muscholl, Sergio Rajsbaum. Formal Methods and Fault-Tolerant Distributed Comp.: Forging an Alliance (Dagstuhl Seminar 18211). Dagstuhl Reports, 8(5):60-79, 2018. [doi]

This author has not been identified. Look up 'Javier Esparza' in GoogleThis author has not been identified. Look up 'Pierre Fraigniaud' in GoogleThis author has not been identified. Look up 'Anca Muscholl' in GoogleThis author has not been identified. Look up 'Sergio Rajsbaum' in Google

runs on WebDSL