Old Web
English
Sign In
Acemap
>
Paper
>
On Decidability of LTL+Past Model Checking for Process Rewrite Systems.
On Decidability of LTL+Past Model Checking for Process Rewrite Systems.
2009
Mojmír Křetínský
Vojtech Rehák
Jan Strejček
Keywords:
Discrete mathematics
Decidability
Mathematics
Calculus
Model checking
Correction
Source
Cite
Save
Machine Reading By IdeaReader
0
References
0
Citations
NaN
KQI
[]