%0 Conference Paper %1 conf/flairs/WolflMS07 %A Wölfl, Stefan %A Mossakowski, Till %A Schröder, Lutz %B FLAIRS %D 2007 %E Wilson, David %E Sutcliffe, Geoff %I AAAI Press %K dblp %P 665-670 %T Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables. %U http://dblp.uni-trier.de/db/conf/flairs/flairs2007.html#WolflMS07 %@ 978-1-57735-319-5

@inproceedings{conf/flairs/WolflMS07, added-at = {2022-10-26T00:00:00.000+0200}, author = {Wölfl, Stefan and Mossakowski, Till and Schröder, Lutz}, biburl = {https://www.bibsonomy.org/bibtex/2c26e2c804bd2244d9abbba35568ef94b/dblp}, booktitle = {FLAIRS}, crossref = {conf/flairs/2007}, editor = {Wilson, David and Sutcliffe, Geoff}, ee = {http://www.aaai.org/Library/FLAIRS/2007/flairs07-130.php}, interhash = {ed60889f320ccb59443ff4c6a651a227}, intrahash = {c26e2c804bd2244d9abbba35568ef94b}, isbn = {978-1-57735-319-5}, keywords = {dblp}, pages = {665-670}, publisher = {AAAI Press}, timestamp = {2024-04-10T02:01:48.000+0200}, title = {Qualitative Constraint Calculi: Heterogeneous Verification of Composition Tables.}, url = {http://dblp.uni-trier.de/db/conf/flairs/flairs2007.html#WolflMS07}, year = 2007 }