Toggle navigation
Home
People
Departments
Research
About
Login
Search
On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory.
Conferences
Overview
Identity
Additional Document Info
View All
Overview
authors
Lauer, Peter Ernst
Muller, David E
Schupp, Paul E
Saoudi, Ahmed
publication date
1992
published in
ICCI
Journal
Identity
International Standard Book Number (ISBN) 10
0-8186-2812-X
Additional Document Info
start page
2
end page
5