Titlebook: Language and Automata Theory and Applications; 4th International Co Adrian-Horia Dediu,Henning Fernau,Carlos Martín-Vi Conference proceedin

新石器時代

書目名稱Language and Automata Theory and Applications影響因子(影響力)




書目名稱Language and Automata Theory and Applications影響因子(影響力)學(xué)科排名




書目名稱Language and Automata Theory and Applications網(wǎng)絡(luò)公開度




書目名稱Language and Automata Theory and Applications網(wǎng)絡(luò)公開度學(xué)科排名




書目名稱Language and Automata Theory and Applications被引頻次




書目名稱Language and Automata Theory and Applications被引頻次學(xué)科排名




書目名稱Language and Automata Theory and Applications年度引用




書目名稱Language and Automata Theory and Applications年度引用學(xué)科排名




書目名稱Language and Automata Theory and Applications讀者反饋




書目名稱Language and Automata Theory and Applications讀者反饋學(xué)科排名

輕浮思想

圖表證明

農(nóng)學(xué)

sperse

Analysis of Communicating AutomataThis extended abstract is a survey of some of the recent developments in the area of automated verification dedicated to the analysis of communicating automata.

諂媚于人

SPASM

STRIA

0302-9743 Overview: Up to date results.Fast conference proceedings.State-of-the-art report978-3-642-13088-5978-3-642-13089-2Series ISSN 0302-9743 Series E-ISSN 1611-3349

包租車船

https://doi.org/10.1007/978-3-642-13089-2DNA; LA; Petri nets; algebraic language theory; algorithmic learning; algorithms; artificial life; bioinfor

incubus