Patrick C?Gielski
AuthID: R-00J-546
1
TITLE: Computer Science Logic (CSL'12) - 26th International Workshop/21st Annual Conference of the EACSL, CSL 2012, September 3-6, 2012, Fontainebleau, France
AUTHORS: Patrick Cégielski; Arnaud Durand;
PUBLISHED: 2012, SOURCE: CSL, VOLUME: 16
AUTHORS: Patrick Cégielski; Arnaud Durand;
PUBLISHED: 2012, SOURCE: CSL, VOLUME: 16
INDEXED IN: 
DBLP
DBLP