Archive
All-Union Conferences, Seminars, Symposiums, Schools
All-Union Conference
Abstracts
Abstract
Abstract
R.A. Plushkiavichus (Vilnus) "Sequential calculus of temporal logics with equation and term operator NEXT for parallel programs verification"

Original document language: Russian

Images of pages:
1


Back
Next document (Abstract)
Previous document (Abstract)

Switch to Russian | Search | Advanced search | Folders | Themes
Home Help in Russian Webmaster © Ershov's Institute of Informatics Systems, 2000-2016