The main objective of this work is to represent the behaviors of weighted automata by expressively equivalent formalisms: rational operations on formal power se

The purpose of this Handbook is to highlight both theory and applications of weighted automata. Weighted finite automata are classical nondeterministic finite a

This book constitutes the refereed proceedings of the 10th International Conference on Developments in Language Theory, DLT 2006, held in Santa Barbara, CA, USA

A comprehensive treatment of systems and software testing using state of the art methods and tools This book provides valuable insights into state of the art so

This book constitutes the proceedings of the 16th International Conference on Foundations of Software Science and Computational Structures, FOSSACS 2013, held a