2 citations · 2 across the 2 of their papers we have counts for
1 paper · 1 filter
Francisco Parrinha, João Mota, António Ravara
Distributed systems have become increasingly prevalent in the software industry. Due to their intrinsic complexity, much research has focused on the verification of their behaviour…