Descriptor: "Formal specification" / Journal: international journal of foundations of computer science / Search Limiters: Available in Library Collection / Topic: computer science - Searchworks@Jio Institute Digital Library Search Results

Searchworks

Select search scope, currently: Articles

Catalog

books, media & more in Jio Institute collections

Articles

journal articles & other e-resources

Your search keyword '"Formal specification"' showing total 1 results

Start Over Descriptor "Formal specification" Search Limiters Available in Library Collection Topic computer science Journal international journal of foundations of computer science

1 results on '"Formal specification"'

1. ERRATA:: "REPRESENTATION OF SEMIAUTOMATA BY CANONICAL WORDS AND EQUIVALENCES".

Author: BRZOZOWSKI, JANUSZ and JÜRGENSEN, HELMUT
Subjects: *COMPUTER science
Abstract: In the paper [1], Theorem 23 and Example 24 are incorrect. The corrected version is presented in this note. [ABSTRACT FROM AUTHOR]
Published: 2006
Full Text: View/download PDF

Catalog

Books, media, physical & digital resources

See catalog results