Search Sciweavers | Sciweavers

26 search results - page 1 / 6

» atva 2007

click to vote

ATVA
2007
Springer

127views Hardware» more ATVA 2007»

Distributed Synthesis for Alternating-Time Logics

14 years 4 months ago

Download www.csc.liv.ac.uk

Sven Schewe, Bernd Finkbeiner

claim paper

Read More »

click to vote

ATVA
2007
Springer

88views Hardware» more ATVA 2007»

Branching vs. Linear Time: Semantical Perspective

14 years 4 months ago

Download www.cs.rice.edu

Sumit Nain, Moshe Y. Vardi

claim paper

Read More »

click to vote

ATVA
2007
Springer

77views Hardware» more ATVA 2007»

Using Counterexample Analysis to Minimize the Number of Predicates for Predicate Abstraction

14 years 4 months ago

Download www.cad.t.u-tokyo.ac.jp

Thanyapat Sakunkonchak, Satoshi Komatsu, Masahiro ...

claim paper

Read More »

click to vote

ATVA
2007
Springer

98views Hardware» more ATVA 2007»

Model Checking Bounded Prioritized Time Petri Nets

14 years 1 months ago

Download homepages.laas.fr

Bernard Berthomieu, Florent Peres, François...

claim paper

Read More »

click to vote

ATVA
2007
Springer

103views Hardware» more ATVA 2007»

Mind the Shapes: Abstraction Refinement Via Topology Invariants

14 years 1 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers