Automatic verfication methods for finite state systems, proceedings of ...

Editor

J. Sifakis ed

Publication

springer

Publication Year

[c1990]

Collation

vii, 382 p.: diagrs

Series

Lecture notes in computer science; v. 407

Notes

International workshop, Grenoble, 1989

Bibliography

Includes bibliographies

Subject

Computer programs- Verification

ADDED ENTRIES

Sifakis, J., ed , ^dSeries: Lecture notes in computer science, v. 407

Main Class

005

Sub Class

.14

Cutter no

A939

وارد كنندة اطلاعات

zare 1030^d//

Link To Document