Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)

Authors:
Benedikt Bollig
Affiliations:
-
Venue:
Formal Models of Communicating Systems: Languages, Automata, and Monadic Second-Order Logic (Texts in Theoretical Computer Science. An Eatcs Series)
Year:
2006

Citing 0
Cited 2

Agent Verification Design of Short Text Messaging System Using Formal Method

KES-AMSTA '09 Proceedings of the Third KES International Symposium on Agent and Multi-Agent Systems: Technologies and Applications
An improved algorithm for determinization of weighted and fuzzy automata

Information Sciences: an International Journal

Quantified Score

Hi-index	0.00

Visualization

Abstract