Implementation and application of automata 14th international conference, CIAA 2009, Sydney, Australia, July 14-17, 2009 : proceedings - CIAA 2009 (2009 : University of New South Wales); Maneth, Sebastian; SpringerLink (Online service) (Berlin, Heidelberg : Springer Berlin Heidelberg, 2009)
Keywords: Machine theory -- Congresses; Computation by Abstract Devices; Software Engineering; Logics and Meanings of Programs; System Performance and Evaluation; Algorithm Analysis and Problem Complexity; Computer Science; Mathematical Logic and Formal Languages