EXTENSION OF THE AUTOMATON SPECIFICATION LOGICAL LANGUAGE AND THE SYNTHESIS PROBLEM

Authors
Citation
An. Chebotarev, EXTENSION OF THE AUTOMATON SPECIFICATION LOGICAL LANGUAGE AND THE SYNTHESIS PROBLEM, Cybernetics and systems analysis, 32(6), 1996, pp. 756-765
Citations number
5
Categorie Soggetti
Controlo Theory & Cybernetics","Computer Science Cybernetics
ISSN journal
10600396
Volume
32
Issue
6
Year of publication
1996
Pages
756 - 765
Database
ISI
SICI code
1060-0396(1996)32:6<756:EOTASL>2.0.ZU;2-J