@inproceedings{DBLP:conf/ismis/DingZ05,
author = {Yulin Ding and
Yan Zhang},
title = {A Logic Approach for LTL System Modification},
booktitle = {ISMIS},
year = {2005},
pages = {435-444},
ee = {http://dx.doi.org/10.1007/11425274_45},
crossref = {DBLP:conf/ismis/2005},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
@proceedings{DBLP:conf/ismis/2005,
editor = {Mohand-Said Hacid and
Neil V. Murray and
Zbigniew W. Ras and
Shusaku Tsumoto},
title = {Foundations of Intelligent Systems, 15th International Symposium,
ISMIS 2005, Saratoga Springs, NY, USA, May 25-28, 2005,
Proceedings},
booktitle = {ISMIS},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {3488},
year = {2005},
isbn = {3-540-25878-7},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Last update 2009-06-10 CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
