%0 Conference Paper %1 conf/fireworks/CassezRS00 %A Cassez, Franck %A Ryan, Mark Dermot %A Schobbens, Pierre-Yves %B FIREworks %D 2000 %E Gilmore, Stephen %E Ryan, Mark %I Springer %K dblp %P 85-103 %T Proving feature non-interaction with Alternating-Time Temporal Logic. %U http://dblp.uni-trier.de/db/conf/fireworks/fireworks2000.html#CassezRS00 %@ 978-1-85233-392-8

@inproceedings{conf/fireworks/CassezRS00, added-at = {2020-06-15T00:00:00.000+0200}, author = {Cassez, Franck and Ryan, Mark Dermot and Schobbens, Pierre-Yves}, biburl = {https://www.bibsonomy.org/bibtex/2b71444eaf319aa494b7df02a4821c476/dblp}, booktitle = {FIREworks}, crossref = {conf/fireworks/2000}, editor = {Gilmore, Stephen and Ryan, Mark}, ee = {https://doi.org/10.1007/978-1-4471-0287-8_6}, interhash = {e56375ca51e64787f7b01fa9d41ab07b}, intrahash = {b71444eaf319aa494b7df02a4821c476}, isbn = {978-1-85233-392-8}, keywords = {dblp}, pages = {85-103}, publisher = {Springer}, timestamp = {2020-06-16T12:16:55.000+0200}, title = {Proving feature non-interaction with Alternating-Time Temporal Logic.}, url = {http://dblp.uni-trier.de/db/conf/fireworks/fireworks2000.html#CassezRS00}, year = 2000 }