Category:LNCS 1043

From BibNetWiki

Lecture Notes in Computer Science, Volume 1043

Articles in category "LNCS 1043"

There are 6 articles in this category.

A

• An Automata-Theoretic Approach to Linear Temporal Logic
• Automated Temporal Reasoning about Reactive Systems

D

• Decidability Results in Automata and Process Theory

L

• Logics for concurrency: structure versus automata

M

• Modal and Temporal Logics for Processes

S

• Specification Structures and Propositions-as-Types for Concurrency