Search CORE

2 research outputs found

Exploiting Local Persistency for Reduced State Space Generation

Author: A Valmari
A Valmari
A Valmari
D Peled
D Peled
F Vernadat
J Desel
K Barkaoui
K Barkaoui
P-O Ribet
YF Chen
ZW Li
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2018
Field of study

International audienc

Exploiting local persistency for reduced state-space generation

Author: Barkaoui K.
Boucheneb H.
Li Z.
Publication venue: 'Springer Science and Business Media LLC'
Publication date: 01/01/2020
Field of study

International audienc

core

core