. . . . . . . "\u0158eh\u00E1k, Vojt\u011Bch" . . . . . . . . "RIV/00216224:14330/07:00019467!RIV11-MSM-14330___" . "On Decidability of LTL+Past Model Checking for Process Rewrite Systems"@en . "3"^^ . "On Decidability of LTL+Past Model Checking for Process Rewrite Systems" . . . . "3"^^ . . . "The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined." . . "RIV/00216224:14330/07:00019467" . . "The Decidability Borderline for Model Checking of LTL+Past and Process Rewrite Systems is determined."@en . "K\u0159et\u00EDnsk\u00FD, Mojm\u00EDr" . "P(1ET408050503), P(1M0545), Z(MSM0021622419)" . "On Decidability of LTL+Past Model Checking for Process Rewrite Systems" . "14330" . "On Decidability of LTL+Past Model Checking for Process Rewrite Systems"@en . "process rewrite systems; LTL; infinite-state; model-checking; decidability"@en . "Strej\u010Dek, Jan" . "[7F7919BB8CC0]" . . "439204" .