Formal techniques for networked and distributed systems--FORTE 2008 28th IFIP WG 6.1 international conference, Tokyo, Japan, June 10-13, 2008 : proceedings /
This book constitutes the refereed proceedings of the 28th IFIP WG 6.1 International Conference on Formal Techniques for Networked and Distributed Systems, FORTE 2008, held in Tokyo, Japan, in June 2008 co-located with TestCom/FATES 2008. The 19 revised full papers and 1 revised short paper presente...
Corporate Authors: | FORTE 2008 Tokyo, Japan) |
---|---|
Other Authors: | FORTE 2008, Suzuki, Kenji (Professor of engineering), SpringerLink (Online service) |
Format: | eBook |
Language: | English |
Published: |
Berlin ; New York :
Springer,
©2008.
Berlin ; New York : [2008] |
Physical Description: |
1 online resource (xii, 339 pages) : illustrations. |
Series: |
Lecture notes in computer science ;
5048. |
Subjects: |
CMU Electronic Access
Electronic Resource Click HereLocation | Call Number: | Status |
---|---|---|
CMU Electronic Access | Available |