Search Sciweavers | Sciweavers

421 search results - page 19 / 85

» CSL

135

click to vote

CMSB
2009
Springer

114views Applied Computing» more CMSB 2009»

CSL Model Checking of Biochemical Networks with Interval Decision Diagrams

16 years 1 months ago

Download www-dssz.informatik.tu-cottbus.de

Martin Schwarick, Monika Heiner

claim paper

Read More »

195

click to vote

KORSO
1995

128views Software Engineering» more KORSO 1995»

CSL

15 years 10 months ago

Download www.library.ca.gov

Klaus Nökel, Klaus Winkelmann

claim paper

Read More »

143

click to vote

CSL
1992
Springer

99views Automated Reasoning» more CSL 1992»

Model Building by Resolution

15 years 10 months ago

Download www.logic.at

ating Point Numbers (Abstract). In: Berichte aus Informatik

Christian G. Fermüller, Alexander Leitsch

claim paper

Read More »

132

click to vote

CSL
2010
Springer

194views Automated Reasoning» more CSL 2010»

Complexity Results for Modal Dependence Logic

15 years 7 months ago

Download drops.dagstuhl.de

Modal dependence logic was introduced very recently by V

Peter Lohmann, Heribert Vollmer

claim paper

Read More »

126

click to vote

CSL
2006
Springer

77views Automated Reasoning» more CSL 2006»

Unlimited vocabulary speech recognition with morph language models applied to Finnish

15 years 6 months ago

Sciweavers

Explore & Download

Productivity Tools

Sciweavers