Toggle navigation
PDFSEARCH.IO
Document Search Engine - browse more than 18 million documents
Sign up
Sign in
Back to Results
First Page
Meta Content
View Document Preview and Link
Satisability and Finite Model Property for the Alternating-Time -Cal ulus? Sven S hewe and Bernd Finkbeiner Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.de
Add to Reading List
Document Date: 2009-04-30 04:31:43
Open Document
File Size: 225,96 KB
Share Result on Facebook
Country
Germany /
/
Currency
pence /
/
IndustryTerm
labeled transition systems /
/
Person
Bernd Finkbeiner Universit /
Rabin /
Bran hing Stru /
/
Position
player /
king /
model /
/
Product
Pentax K-x Digital Camera /
/
PublishedMedium
Complex Systems /
/
SocialTag
Æ
Ω-automaton
Linguistics
Notation
Automata theory
Centimetre–gram–second system of units
Metrology