%0 Conference Paper %1 conf/ismis/ChabaneHH11 %A Chabane, Yahia %A Hantry, François %A Hacid, Mohand-Said %B ISMIS Industrial Session %D 2011 %E Ryzko, Dominik %E Rybinski, Henryk %E Gawrysiak, Piotr %E Kryszkiewicz, Marzena %I Springer %K %P 105-122 %T Querying and Splitting Techniques for SBA: A Model Checking Based Approach. %U http://dblp.uni-trier.de/db/conf/ismis/ismis2011is.html#ChabaneHH11 %V 369 %@ 978-3-642-22731-8

@inproceedings{conf/ismis/ChabaneHH11, added-at = {2023-12-13T04:25:12.000+0100}, author = {Chabane, Yahia and Hantry, François and Hacid, Mohand-Said}, biburl = {https://www.bibsonomy.org/bibtex/2296058926029454522d92496d76c54b5/admin}, booktitle = {ISMIS Industrial Session}, crossref = {conf/ismis/2011is}, editor = {Ryzko, Dominik and Rybinski, Henryk and Gawrysiak, Piotr and Kryszkiewicz, Marzena}, ee = {https://doi.org/10.1007/978-3-642-22732-5_10}, interhash = {959a2ae92c8d57c9981981d0c1183e70}, intrahash = {296058926029454522d92496d76c54b5}, isbn = {978-3-642-22731-8}, keywords = {}, pages = {105-122}, publisher = {Springer}, series = {Studies in Computational Intelligence}, timestamp = {2023-12-13T04:25:12.000+0100}, title = {Querying and Splitting Techniques for SBA: A Model Checking Based Approach.}, url = {http://dblp.uni-trier.de/db/conf/ismis/ismis2011is.html#ChabaneHH11}, volume = 369, year = 2011 }