P. Camurati

1 та иш

Polytechnic University of Turin

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

   МақолаFormal Methods in VerificationPORTO Publications Open Repository TOrino (Politecnico di Torino)20140 иқтибос

   ABIABI:AkademIndex/openalex/2014.article.000209