( en | de | ru )

 

Disambiguation of "Moura, Arnaldo V."

Author of the publication

copydeleteadd this publication to your clipboard
On the Correctness of a Local Storage Subsystem.

, , and . PODS, page 123-134. ACM, (1985)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

José Moura

Arnaldo Cacaci

Arnaldo Baldacci

Sabine Mouratidis

Anastasia Mouratidou

 

Other publications of authors with the same name

A note on the verification of automata specifications of probabilistic real-time systems., and . Inf. Process. Lett., 82 (5): 223-228 (2002)Preface., and . SBMF, volume 130 of Electronic Notes in Theoretical Computer Science, page 1-2. Elsevier, (2004)Classes of Timed Automata and the Undecidability of Universality., and . Fundam. Informaticae, 82 (1-2): 171-184 (2008)A Genetic Algorithm for Telecommunication Network Design., , , , and . EvoWorkshops, volume 3005 of Lecture Notes in Computer Science, page 140-149. Springer, (2004)On the Correctness of a Local Storage Subsystem., , and . PODS, page 123-134. ACM, (1985)Classes of Timed Automata and the Undecidability of Universality., and . Theory and Practice of Timed Systems @ ETAPS, volume 65 of Electronic Notes in Theoretical Computer Science, page 238-253. Elsevier, (2002)A New Method for Incremental Testing of Finite State Machines., and . NASA Formal Methods, volume NASA/CP-2010-216215 of NASA Conference Proceedings, page 109-118. (2010)Early Error Detection in Syntax-Driven Parsers.. IBM J. Res. Dev., 30 (6): 617-626 (1986)