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+

13 years 10 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

13 years 10 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

13 years 10 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

13 years 10 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 7 months ago

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers