Tools and algorithms for the construction and analysis of systems : ... International Workshop, TACAS ...
Saved in:
| Corporate Author: | |
|---|---|
| Format: | Conference Proceeding |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
c1995-
|
| Series: | Lecture notes in computer science,
|
| Subjects: |
| Published: | 1 (May 19-20, 1995)- |
|---|---|
| Item Description: | Conference name includes year (i.e., First International Workshop is TACAS '95, etc.); subtitle varies slightly. |
| Physical Description: | v. : ill. ; 24 cm. |
| Publication Frequency: | Annual. |
| ISSN: | 0302-9743. |