Selected Extended Papers of ITP 2016: Preface
Blanchette, Jasmin Christian, Merz, Stephan
Published in Journal of automated reasoning (01.02.2019)
Published in Journal of automated reasoning (01.02.2019)
Get full text
Journal Article
Synchronization modulo P in dynamic networks
Penet de Monterno, Louis, Charron-Bost, Bernadette, Merz, Stephan
Published in Theoretical computer science (09.01.2023)
Published in Theoretical computer science (09.01.2023)
Get full text
Journal Article
A machine-checked correctness proof for Pastry
Azmy, Noran, Merz, Stephan, Weidenbach, Christoph
Published in Science of computer programming (15.06.2018)
Published in Science of computer programming (15.06.2018)
Get full text
Journal Article