Symbolic reachability analysis of dataflow graphs with data structures.

E.E. Roubtsova, V.A. Sokolov, N.S. Siderova

Research output: Chapter in Book/Report/Conference proceeding › Conference Article in proceeding › Academic › peer-review

Original language	English
Title of host publication	Proceedings of III Siberia International Conference on applied mathematics, INPRIM-98. Novosibirsk
Number of pages	1
Publication status	Published - 1998
Externally published	Yes
Event	III Siberia International Conference on applied mathematics - Sobolev Institute of Mathematics, Novosibirsk, Russian Federation Duration: 22 Jun 1998 → 27 Jun 1998

Conference	III Siberia International Conference on applied mathematics
Abbreviated title	INPRIM-98
Country/Territory	Russian Federation
City	Novosibirsk
Period	22/06/98 → 27/06/98

Access to Document

@inproceedings{203ee3f9cbab44c9affcd198b154d6c5,

title = "Symbolic reachability analysis of dataflow graphs with data structures.",

author = "E.E. Roubtsova and V.A. Sokolov and N.S. Siderova",

year = "1998",

language = "English",

booktitle = "Proceedings of III Siberia International Conference on applied mathematics, INPRIM-98. Novosibirsk",

note = "III Siberia International Conference on applied mathematics, INPRIM-98 ; Conference date: 22-06-1998 Through 27-06-1998",

}

Roubtsova, EE, Sokolov, VA & Siderova, NS 1998, Symbolic reachability analysis of dataflow graphs with data structures. in Proceedings of III Siberia International Conference on applied mathematics, INPRIM-98. Novosibirsk. III Siberia International Conference on applied mathematics, Novosibirsk, Russian Federation, 22/06/98. <https://ellaroubtsova.weebly.com/publications.html>

TY - GEN

T1 - Symbolic reachability analysis of dataflow graphs with data structures.

AU - Roubtsova, E.E.

AU - Sokolov, V.A.

AU - Siderova, N.S.

PY - 1998

Y1 - 1998

M3 - Conference Article in proceeding

BT - Proceedings of III Siberia International Conference on applied mathematics, INPRIM-98. Novosibirsk

T2 - III Siberia International Conference on applied mathematics

Y2 - 22 June 1998 through 27 June 1998

ER -