Operational Semantics for Timed Systems pp 211-213 | Cite as

A. Common Notation

• Authors
• Authors and affiliations

• Heinrich Rust

Chapter

• 17 Downloads

Part of the Lecture Notes in Computer Science book series

Abstract

Contents

This is a preview of subscription content, log in to check access.

Preview

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2005

Authors and Affiliations

• Heinrich Rust

There are no affiliations available