Sciweavers

29

ASM
2003
ASM

76views Computational Biology» more ASM 2003»

Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks

14 years 4 months ago

Formal Description of a Distributed Location Service for Mobile Ad Hoc Networks

Download www.cs.sfu.ca

András A. Benczúr, Uwe Glässer,...

claim paper

Read More »

24

ASM
2003
ASM

104views Computational Biology» more ASM 2003»

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

14 years 4 months ago

A Framework for Modeling the Semantics of Expression Evaluation with Abstract State Machines

Download www.informatik.uni-ulm.de

Wolf Zimmermann, Axel Dold

claim paper

Read More »