Search Sciweavers | Sciweavers

1346 search results - page 34 / 270

» Alternating-time dynamic logic

146

click to vote

TABLEAUX
2007
Springer

116views Artificial Intelligence» more TABLEAUX 2007»

Differential Dynamic Logic for Verifying Parametric Hybrid Systems

16 years 2 days ago

Download symbolaris.com

André Platzer

claim paper

Read More »

117

click to vote

PATMOS
2005
Springer

91views Modeling and Simulation» more PATMOS 2005»

A Design Methodology for Secured ICs Using Dynamic Current Mode Logic

15 years 11 months ago

Download www.uclouvain.be

François Macé, François-Xavie...

claim paper

Read More »

105

click to vote

ISLPED
2003
ACM

81views Hardware» more ISLPED 2003»

A clock delayed sleep mode domino logic for wide dynamic OR gate

15 years 11 months ago

Download mvlsi.kaist.ac.kr

Kwang-Il Oh, Lee-Sup Kim

claim paper

Read More »

137

click to vote

CONCUR
1997
Springer

86views Distributed And Parallel Com...» more CONCUR 1997»

A Product Version of Dynamic Linear Time Temporal Logic

15 years 10 months ago

Download www.cmi.ac.in

Jesper G. Henriksen, P. S. Thiagarajan

claim paper

Read More »

143

click to vote

ICLP
1997
Springer

70views Automated Reasoning» more ICLP 1997»

Optimization of Logic Programs with Dynamic Scheduling

15 years 10 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers