Search from the table of contents of 2.5 million books
Advanced Search (Beta)
Home > Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988


Book Informaton

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency: School/Workshop, Noordwijkerhout, The Netherlands, May 30 - June 3, 1988

Author

Jacobus W. de Bakker; Willem-Paul de Roever; Grzegorz Rozenberg

Series

Lecture Notes in Computer Science

Volume

354

Year of Publication

1989

Publisher

Springer Berlin Heidelberg

Pages

X, 718

Language

en

ISBN

9783540510802, 9783540461470, 354051080X

ARI Id

1665030051816


Find on

World Cat

OpenLibrary

Internet Archive


This page has been accessed 6 times.
Asian Research Index Whatsapp Chanel
Asian Research Index Whatsapp Chanel

Join our Whatsapp Channel to get regular updates.

Access Options
Citation Options
Download Citation

Showing 1 to 20 of 23 entries
Chapters/HeadingsAuthor(s)PagesInfo
1-49
50-122
123-172
173-200
201-284
285-363
364-397
398-410
411-427
428-437
438-466
467-488
489-507
508-522
523-548
549-573
574-602
603-627
628-659
Chapters/HeadingsAuthor(s)PagesInfo
Showing 1 to 20 of 23 entries