Heinrich Rust. Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals. In Wolf Zimmermann, Bernhard Thalheim, editors, Abstract State Machines 2004. Advances in Theory and Practice, 11th International Workshop, ASM 2004, Lutherstadt Wittenberg, Germany, May 24-28, 2004. Proceedings. Volume 3052 of Lecture Notes in Computer Science, pages 218-233, Springer, 2004. [doi]
Abstract is missing.