Extended symbolic finite automata and transducers

DOI PDF Web Site Web Site 被引用文献1件

書誌事項

公開日: 2015-07-07

権利情報

http://www.springer.com/tdm

DOI

10.1007/s10703-015-0233-4

公開者: Springer Science and Business Media LLC

この論文をさがす

CiNii Books

収録刊行物

Formal Methods in System Design

Formal Methods in System Design 47 (1), 93-119, 2015-07-07

Springer Science and Business Media LLC

被引用文献 (1)*注記

もっと見る

詳細情報詳細情報について

CRID

1360298763434041344
DOI

10.1007/s10703-015-0233-4
ISSN

15728102

09259856
Web Site

http://link.springer.com/content/pdf/10.1007/s10703-015-0233-4.pdf

http://link.springer.com/article/10.1007/s10703-015-0233-4/fulltext.html

http://link.springer.com/content/pdf/10.1007/s10703-015-0233-4
データソース種別
- Crossref

書き出し

問題の指摘

ページトップへ