Search Sciweavers | Sciweavers

20 search results - page 1 / 4

» hybrid 1992

click to vote

HYBRID
1992
Springer

90views Control Systems» more HYBRID 1992»

Hybrid Systems in TLA+

14 years 1 months ago

Download research.microsoft.com

Leslie Lamport

claim paper

Read More »

click to vote

HYBRID
1992
Springer

88views Control Systems» more HYBRID 1992»

Verifying Hybrid Systems

14 years 1 months ago

Download www.csr.city.ac.uk

Zohar Manna, Amir Pnueli

claim paper

Read More »

click to vote

HYBRID
1992
Springer

117views Control Systems» more HYBRID 1992»

An Approach to the Description and Analysis of Hybrid Systems

14 years 1 months ago

Download www-verimag.imag.fr

Xavier Nicollin, Alfredo Olivero, Joseph Sifakis, ...

claim paper

Read More »

click to vote

EDBT
1992
ACM

91views Database» more EDBT 1992»

Hybrid Index Organizations for Text Databases

14 years 1 months ago

Download www.cs.cmu.edu

Christos Faloutsos, H. V. Jagadish

claim paper

Read More »

click to vote

COLING
1992

68views Computational Linguistics» more COLING 1992»

A Hybrid System For Quantifier Scoping

13 years 11 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers