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)2014Цитирований: 0

   ABIABI:AkademIndex/openalex/2014.article.000209