Formal methods applications and technology : 11th international workshop, FMICS 2006 and 5th international workshop, PDMC 2006, Bonn, Germany, August 26-27, and August 31, 2006 : revised selected papers /
Corporate Authors: | , , |
---|---|
Other Authors: | |
Format: | Electronic Conference Proceeding Book |
Language: | English |
Published: |
Berlin ; New York :
Springer,
c2007
|
Series: | Lecture notes in computer science
4346 |
Subjects: |
Internet
This item is not available through BorrowDirect. Please contact your institution’s interlibrary loan office for further assistance.Stanford University
Call Number: |
ISIL:US-CST |
---|