Publications

Partial Derivative Automata Formalized in Coq

AuthID
P-002-XJV

Author(s)

Almeida, JB

Moreira, N

Pereira, D

de Sousa, SM

Editor(s)

Domaratzki,M;Salomaa,K

Document Type

Proceedings Paper

Year published

2011

Published

in IMPLEMENTATION AND APPLICATION OF AUTOMATA in Lecture Notes in Computer Science, ISSN: 0302-9743

Volume: 6482, Pages: 59-68 (10)

Conference

15Th International Conference on Implementation and Application of Automata, Date: AUG 12-15, 2010, Location: Winnipeg, CANADA, Sponsors: Fields Inst, MITACS, Univ Manitoba, Host: Univ Manitoba

Indexing

Wos^®

Scopus^®

Dblp^®/en/publications/view/95835

Crossref^®

Handle^®

Google Scholar^®

Metadata
Sources

Publication Identifiers

DOI: 10.1007/978-3-642-18098-9_7

Dblp: conf/wia/AlmeidaMPS10

Handle: https://hdl.handle.net/1822/13097

Scopus: 2-s2.0-79951613250

Wos: WOS:000290544800007

Source Identifiers

ISSN: 0302-9743

Export Publication Metadata

Marked List

Add to Marked List

Info

At this moment we don't have any links to full text documens.

Partial Derivative Automata Formalized in Coq

Useful Links

Get Help

Federated Authentication (Click on the image)

Partial Derivative Automata Formalized in Coq

Useful Links

Get Help