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 proceedingConference Article in proceedingAcademicpeer-review

Original languageEnglish
Title of host publicationProceedings of III Siberia International Conference on applied mathematics, INPRIM-98. Novosibirsk
Number of pages1
Publication statusPublished - 1998
Externally publishedYes
EventIII Siberia International Conference on applied mathematics - Sobolev Institute of Mathematics, Novosibirsk, Russian Federation
Duration: 22 Jun 199827 Jun 1998

Conference

ConferenceIII Siberia International Conference on applied mathematics
Abbreviated titleINPRIM-98
Country/TerritoryRussian Federation
CityNovosibirsk
Period22/06/9827/06/98

Cite this