1 citations · 1 across the 2 of their papers we have counts for
1 paper · 1 filter
Holger Hermanns, Peter Höfner
This volume contains the proceedings of MARS 2017, the second workshop on Models for Formal Analysis of Real Systems, held on April 29, 2017 in Uppala, Sweden, as an affiliated wor…