First Page | Document Content | |
---|---|---|
Date: 2009-07-06 12:39:09 | A method for proving observational equivalence V´eronique Cortier LORIA, CNRS & INRIA Nancy Grand Est France Email:Add to Reading ListSource URL: www.lsv.ens-cachan.frDownload Document from Source WebsiteFile Size: 220,26 KBShare Document on Facebook |