×

Found 21 Documents (Results 1–21)

Discrete event systems, manufacturing systems, and communication networks. Based on the proceedings of a workshop that was an integral part of the 1992-93 IMA program on control theory, held at the University of Minnesota, Minneapolis, MN, USA. (English) Zbl 0816.00041

The IMA Volumes in Mathematics and its Applications. 73. New York, NY: Springer-Verlag. xvii, 253 p. (1995).
PDFBibTeX XMLCite

What’s decidable about hybrid automata? (English) Zbl 0978.68534

Proceedings of the 27th annual ACM symposium on the theory of computing (STOC). Las Vegas, NV, USA, May 29 - June 1, 1995. New York, NY: ACM, 373-382 (1995).
MSC:  68Q45
PDFBibTeX XMLCite

Filter Results by …

Document Type

all top 5

Year of Publication

all top 3

Main Field

Software