http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#Head
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
http://www.nanopub.org/nschema#hasAssertion
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
http://www.nanopub.org/nschema#hasProvenance
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#provenance
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
http://www.nanopub.org/nschema#hasPublicationInfo
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#pubinfo
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://www.nanopub.org/nschema#Nanopublication
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo
http://purl.org/nanopub/x/introduces
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM
http://purl.org/nanopub/x/introduces
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_1
http://purl.org/co/itemContent
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_1
http://purl.org/co/nextItem
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_2
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_2
http://purl.org/co/itemContent
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_2
http://purl.org/co/nextItem
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_3
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_3
http://purl.org/co/itemContent
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_3
http://purl.org/co/nextItem
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_4
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_4
http://purl.org/co/itemContent
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section
http://purl.org/co/firstItem
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#_1
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section
http://www.essepuntato.it/2008/12/pattern#contains
http://purl.org/np/RAAh8drcoiyg2uoWDSKmmZjsV7ORI-uYRWanyDojN7vjo#section
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section
http://www.essepuntato.it/2008/12/pattern#contains
http://purl.org/np/RAW-_8rZBBXabZVJd-9hQcX7vn639BN8Wdhu5gnTYBdTM#section
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section
http://www.essepuntato.it/2008/12/pattern#contains
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section
http://www.essepuntato.it/2008/12/pattern#containsAsHeader
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://purl.org/spar/doco/Section
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title
http://purl.org/spar/c4o/hasContent
Formal modeling
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#section-3-title
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://purl.org/spar/doco/SectionTitle
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY
http://purl.org/nanopub/x/introduces
http://purl.org/np/RAim1h2YnyYx2qsbm9Qe8xcm6gSEjyRQa7OWeiWxAB8gY#paragraph
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#provenance
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion
http://www.w3.org/ns/prov#hadPrimarySource
http://dx.doi.org/10.3233/SW-180298
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#assertion
http://www.w3.org/ns/prov#wasAttributedTo
https://orcid.org/0000-0002-8429-8208
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew#pubinfo
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
http://purl.org/dc/terms/created
2019-11-08T18:05:11+01:00
http://purl.org/np/RAievZdCAuL5qczUN-ZsooBmQ6AmQ_x29enCN1rK7c3Ew
http://purl.org/pav/createdBy
https://orcid.org/0000-0002-7114-6459