Persons
RUS
ENG
JOURNALS
PEOPLE
ORGANISATIONS
CONFERENCES
SEMINARS
VIDEO LIBRARY
PACKAGE AMSBIB
JavaScript is disabled in your browser. Please switch it on to enable full functionality of the website
Vasil'eva, K A
Statistics Math-Net.Ru
Total publications:
1
Scientific articles:
1
Number of views:
This page:
90
Abstract pages:
390
Full texts:
183
References:
57
https://www.mathnet.ru/eng/person63931
List of publications on Google Scholar
List of publications on ZentralBlatt
Publications in
Math-Net.Ru
Citations
2007
1.
K. A. Vasileva, E. V. Kuzmin, “LTL Verification of Automaton Programs”,
Model. Anal. Inform. Sist.
,
14
:1 (2007),
31–43
3
Organisations
P.G. Demidov Yaroslavl State University
Contact us:
email
Terms of Use
Registration to the website
Logotypes
©
Steklov Mathematical Institute RAS
, 2024
Contact us: