@inproceedings{af123ea42b2c432799b0dcc1d30fe56f,
title = "Proving feature non-interaction with alternating-time temporal logic",
author = "Franck Cassez and Ryan, {Mark Dermot} and Pierre-Yves Schobbens",
year = "2001",
doi = "10.1007/978-1-4471-0287-8",
language = "English",
isbn = "1852333928",
pages = "85--103",
editor = "Stephen Gilmore and Ryan, {Mark D.}",
booktitle = "Language constructs for describing features",
publisher = "Springer, Springer Nature",
address = "United States",
note = "FIREwork Workshop on Language Constructs for Describing Features ; Conference date: 01-02-2000",
}