Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Verifying Concurrent Processes Using Temporal Logic

Verifying Concurrent Processes Using Temporal Logic

Book Informaton
Verifying Concurrent Processes Using Temporal Logic

Author

B. T. Hailpern

Series

Lecture Notes in Computer Science

Volume

129

Year of Publication

1982

Publisher

Springer Berlin Heidelberg

Pages

VIII, 209

Language

en

ISBN

9783540112051, 9783540390343

ARI Id

1664388526611

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
Topics
Computer programming Computer science