×

Found 48 Documents (Results 1–48)

Computation tree logic model checking over possibilistic decision processes under finite-memory scheduler. (English) Zbl 1511.68162

Cai, Zhiping (ed.) et al., Theoretical computer science. 39th national conference, NCTCS 2021, Yinchuan, China, July 23–25, 2021. Revised selected papers. Singapore: Springer. Commun. Comput. Inf. Sci. 1494, 75-88 (2021).
MSC:  68Q60 68T37
PDFBibTeX XMLCite
Full Text: DOI

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

all top 3

Software