Translation of Textual Specifications to Automata by Means of Discourse Context Modeling.

Leonid Kof

Browse the full REFSQ paper archive.