Search

Your search keyword '"Kohn, Markus"' showing total 2 results
Start Over Author "Kohn, Markus" Search Limiters Academic (Peer-Reviewed) Journals
2 results on '"Kohn, Markus"'

2. Formal Asynchronous Systems Modelling.

Author

Kohn, Markus and Schmeck, Hartmut

Subjects
*ASYNCHRONOUS circuits, *FORMAL methods (Computer science)
Abstract

Describes a formal model for asynchronous systems behavior. Properties of asynchronous systems; Classes of asynchronous circuits; Approaches to formal asynchronous systems modeling; Asynchronous computations.

Published
2000
Full Text
View/download PDF

Catalog

Books, media, physical & digital resources
See catalog results