Tatiana Rybina
According to our database1,
Tatiana Rybina
authored at least 6 papers
between 2001 and 2003.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2003
Proceedings of the Automata, Languages and Programming, 30th International Colloquium, 2003
Proceedings of the Perspectives of Systems Informatics, 2003
Proceedings of the Computer Science Logic, 17th International Workshop, 2003
2002
Using Canonical Representations of Solutions to Speed Up Infinite-State Model Checking.
Proceedings of the Computer Aided Verification, 14th International Conference, 2002
Proceedings of the Algebraic Methodology and Software Technology, 2002
2001