dataHAL.science
Support
https://data.archives-ouvertes.fr/author/1022539
https://data.archives-ouvertes.fr/author/1022539
http://www.w3.org/1999/02/22-rdf-syntax-ns#type
http://xmlns.com/foaf/0.1/Person
http://xmlns.com/foaf/0.1/name
The Anh Pham
http://xmlns.com/foaf/0.1/topic_interest
Formal software verification
http://xmlns.com/foaf/0.1/firstName
The Anh
http://xmlns.com/foaf/0.1/mbox_sha1sum
ccf5d9d91daab236e67aeb286455cdae
http://xmlns.com/foaf/0.1/topic_interest
Partial order
http://xmlns.com/foaf/0.1/topic_interest
Ultra-large-scale systems
http://xmlns.com/foaf/0.1/topic_interest
Dynamic analysis
http://xmlns.com/foaf/0.1/familyName
Pham
http://xmlns.com/foaf/0.1/topic_interest
Partial order reduction
http://xmlns.com/foaf/0.1/topic_interest
• Theory of computation → Parallel algorithms
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-dc
http://xmlns.com/foaf/0.1/topic_interest
Unfolding
http://xmlns.com/foaf/0.1/interest
https://data.archives-ouvertes.fr/subject/info.info-se
http://xmlns.com/foaf/0.1/topic_interest
Software verification
http://xmlns.com/foaf/0.1/topic_interest
Software and its engineering → Model checking
http://xmlns.com/foaf/0.1/topic_interest
Distributed program
http://xmlns.com/foaf/0.1/topic_interest
Asynchronous
https://aurehal.archives-ouvertes.fr/author/1022539
Télécharger au format
RDF/XML
Turtle
N3
Json