Maria V. Andreeva

According to our database¹, Maria V. Andreeva authored at least 3 papers between 2000 and 2006.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2006

Observational Equivalences for Timed Stable Event Structures.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2006

2005

Timed Equivalences for Timed Event Structures.

[BibT_eX]

[DOI]

Proceedings of the Parallel Computing Technologies, 2005

2000

Analysis of Timed Concurrent Models Based on Testing Equivalence.

[BibT_eX]

[DOI]

Fundam. Informaticae, 2000