David Garriou

List of publications from the DBLP Bibliography Server - FAQ

Ask others: ACM DL/Guide -

2002

1 David Garriou: Symbolic Simulation of Synchronous Programs. Electr. Notes Theor. Comput. Sci. 65(5): 11-18 (2002)

	2002
1		David Garriou: Symbolic Simulation of Synchronous Programs. Electr. Notes Theor. Comput. Sci. 65(5): 11-18 (2002)

Last update Wed May 30 22:34:44 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page