Proving feature non-interaction with alternating-time temporal logic

Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens

Research output: Chapter in Book/Report/Conference proceedingConference proceeding contributionpeer-review

Original languageEnglish
Title of host publicationLanguage constructs for describing features
Subtitle of host publicationproceedings of the FIREworks workshop
EditorsStephen Gilmore, Mark D. Ryan
Place of PublicationLondon
PublisherSpringer, Springer Nature
Pages85-103
Number of pages19
ISBN (Electronic)9781447102878
ISBN (Print)1852333928, 9781852333928
DOIs
Publication statusPublished - 2001
Externally publishedYes
EventFIREwork Workshop on Language Constructs for Describing Features - GLASGOW
Duration: 1 Feb 2000 → …

Conference

ConferenceFIREwork Workshop on Language Constructs for Describing Features
CityGLASGOW
Period1/02/00 → …

Cite this