@inproceedings{DBLP:conf/fmics/EzekielLS06,
author = {Jonathan Ezekiel and
Gerald L{\"u}ttgen and
Radu Siminiceanu},
title = {Can Saturation Be Parallelised?},
booktitle = {FMICS/PDMC},
year = {2006},
pages = {331-346},
ee = {http://dx.doi.org/10.1007/978-3-540-70952-7_23},
crossref = {DBLP:conf/fmics/2006},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/fmics/2006,
editor = {Lubos Brim and
Boudewijn R. Haverkort and
Martin Leucker and
Jaco van de Pol},
title = {Formal Methods: Applications and Technology, 11th International
Workshop, FMICS 2006 and 5th International Workshop PDMC
2006, Bonn, Germany, August 26-27, and August 31, 2006,
Revised Selected Papers},
booktitle = {FMICS/PDMC},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {4346},
year = {2007},
isbn = {978-3-540-70951-0},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2005-07-07 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
