Login / Signup

Modeling Discretely Timed Systems Using Different Magnitudes of Non-standard Reals.

Heinrich Rust
Published in: Abstract State Machines (2004)
Keyphrases