|
| << previous | next >> |
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
Details for article 33 of 34 found articles
| Title: |
Verification of Software Requirements on Program Systems Represented by Attribute Transition Systems |
| Author: |
S. N. Baranov V. A. Volkov A. B. Godlevskii Yu. V. Kapitonova A. A. Letichevsky |
| Appeared in: |
Cybernetics and systems analysis |
| Paging: | Volume 39 (2003) nr. 6 pages 7 p. |
| Year: |
2003-11/12-/12 |
| Contents: | |
| Publisher: |
Kluwer Academic/Plenum Publishers, New York, U.S.A. |
| Source file: |
Elektronische Wetenschappelijke Tijdschriften |
Details for article 33 of 34 found articles
| << previous | next >> |