scientific article

From MaRDI portal

Publication:3814796

Jump to:navigation, search

zbMath0663.68037MaRDI QIDQ3814796

Amir Pnueli, Roni Rosner

Publication date: 1988

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

temporal logic program synthesis tree models AE-paradigm constructive proof rules reactive module Skolem paradigm

Mathematics Subject Classification ID

Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).

Related Items (7)

From LTL to deterministic automata. A safraless compositional approach ⋮ Special issue on syntax-guided synthesis preface ⋮ Unnamed Item ⋮ A compositional approach to CTL\(^*\) verification ⋮ A Decision Procedure for CTL* Based on Tableaux and Automata ⋮ Iterated Boolean games ⋮ Synthesis in presence of dynamic links

This page was built for publication:

Retrieved from "https://portal.mardi4nfdi.de/w/index.php?title=Publication:3814796&oldid=29988540"

Pages with script errors