Poids de l’Open access dans la production CNRS
Home
Resources
Graphs
Search
Export
Sign in
Titre
Reduction of Workflow Nets for Generalised Soundness Verification
XX
BSO - Titre
Reduction of Workflow Nets for Generalised Soundness Verification
XX
DOI
DOI
10.1007/978-3-319-52234-0_6
XX
DOAI
DOAI
10.1007/978-3-319-52234-0_6
XX
Identifiant WoS
WOS:000413069800006
XX
Accès ouvert
OA - Non
XX
Source - Accès ouvert
OA - Non
XX
Type d'accès
Non OA
XX
Editeur
Springer
XX
Source
VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION, VMCAI 2017
XX
ISSN
0302-9743
XX
Type de document
Meeting Abstract
XX
Notoriété
0 - Sans notoriété
XX
CNRS
Oui
XX
CNRS - Institut
INSIS - Institut des sciences de l'ingénierie et des systèmes
XX
uid:/MCFP2KQW
12/10/2021 14:52:54 (latest)
Add field
Share/Export
Powered by
Lodex
9.6.0
