P. Camurati

1 ta ish

Туринский политехнический университет

1. To split or to group: from divide-and-conquer to sub-task sharing in verifying multiple properties

   P. Camurati, C. Loiacono, Paolo Pasini +2

   MaqolaFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 iqtibos

   ABIABI:AkademIndex/2014.article.000209