Proving feature non-interaction with Alternating-Time Temporal Logic - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Franck Cassez, Mark Dermot Ryan, Pierre-Yves Schobbens. Proving feature non-interaction with Alternating-Time Temporal Logic. In Stephen Gilmore, Mark Ryan 0001, editors, Language Constructs for Describing Features, Proceedings of the FIREworks Workshop, Glasgow, UK, May 2000. pages 85-103, Springer, 2000. [doi]

This author has not been identified. Look up 'Franck Cassez' in GoogleThis author has not been identified. Look up 'Mark Dermot Ryan' in GoogleThis author has not been identified. It may be one of the following persons:

Look up 'Pierre-Yves Schobbens' in Google

runs on WebDSL