Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Specifying Message Passing and Time-Critical Systems with Temporal Logic

Specifying Message Passing and Time-Critical Systems with Temporal Logic

Book Informaton
Specifying Message Passing and Time-Critical Systems with Temporal Logic

Author

Ron Koymans

Series

Lecture Notes in Computer Science

Volume

651

Year of Publication

1992

Publisher

Springer Berlin Heidelberg

Pages

VIII, 166

Language

en

ISBN

9783540562832, 9783540475064, 3540562834

ARI Id

1664680213099

Find on

World Cat

OpenLibrary

Internet Archive

This page has been accessed 6 times.
Access Options
Springer
Citation Options
Download Citation
Chapters/HeadingsAuthor(s)PagesInfo
Loading...
Chapters/HeadingsAuthor(s)PagesInfo