( en | de | ru )

 

Disambiguation of "Milne, George J."

Author of the publication

copydeleteadd this publication to your clipboard
An Exercise in the Automatic Verification of Asynchronous Designs.

, , and . Formal Methods Syst. Des., 4 (3): 213-242 (1994)

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.

Linda Milne

Robert Milne

Rosanna Milner

John Milne Dow

George Mertzios

Combinatorial optimization and recognition of graph classes with applications to related models. TU Aachen, (2009)
 

Other publications of authors with the same name

Behavioural Language Compilation with Virtual Hardware Management., and . FPL, volume 1896 of Lecture Notes in Computer Science, page 707-717. Springer, (2000)Building Run-Time Reconfigurable Systems from Tiles., and . FPL, volume 2778 of Lecture Notes in Computer Science, page 252-261. Springer, (2003)An Exercise in the Automatic Verification of Asynchronous Designs., , and . Formal Methods Syst. Des., 4 (3): 213-242 (1994)Design for Verifiability.. Hardware Specification, Verification and Synthesis, volume 408 of Lecture Notes in Computer Science, page 1-13. Springer, (1989)ARM7100 - A High-Integration, Low-Power Microcontroller for PDA Applications., and . COMPCON, page 182-187. IEEE Computer Society, (1996)Specification of Timing Constraints within the Circal Process Algebra., and . AMAST, volume 1349 of Lecture Notes in Computer Science, page 108-122. Springer, (1997)Circal and the Representation of Communication, Concurrency, and Time.. ACM Trans. Program. Lang. Syst., 7 (2): 270-298 (1985)Modelling a Time-Dependent Protocol Using the Circal Process Algebra., , , and . HART, volume 1201 of Lecture Notes in Computer Science, page 124-138. Springer, (1997)The Formal Description and Verification of Hardware Timing.. IEEE Trans. Computers, 40 (7): 811-826 (1991)Design and verification of a highly concurrent machine., , , and . Microprocess. Microsystems, 16 (3): 115-123 (1992)