Crossmark

To split or to group: from divide-and-conquer to sub-task sharing for verifying multiple properties in model checking

Crossref DOI link: https://doi.org/10.1007/s10009-017-0451-8

Published Online: 2017-03-02

Published Print: 2018-06

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Cabodi, G.

Camurati, P. E.

Loiacono, C.

Palena, M.

Pasini, P.

Patti, D.

Quer, S.
License Information

License valid from 2017-03-02