decoration

Poids de l’Open access dans la production CNRS

Titre
The Complexity of Model Checking Multi-Stack Systems
BSO - Titre
The Complexity of Model Checking Multi-Stack Systems
Identifiant WoS
WOS:000399178400006
Accès ouvert
OA - Oui
Source - Accès ouvert
OA - Non
Type d'accès
Archive
Editeur

Springer

Source

THEORY OF COMPUTING SYSTEMS

ISSN
1432-4350
Type de document
  • Article
Notoriété
1 - Médiocre
CNRS
Oui
CNRS - Institut
  • INS2I - Institut des sciences de l'information et de leurs interactions
uid:/9R8LGJ85
Powered by Lodex 9.6.0
decoration