Տարբերակներ - Model-checking games for fixpoint logics with partial order models :: UTM Library Massive Scholar Tracking

1

Model-checking games for fixpoint logics with partial order models ‌ Gutierrez, J, Bradfield, J

Հրապարակվել է 2010

Journal article
2

Model-checking games for fixpoint logics with partial order models ‌ Gutierrez, J, Bradfield, J

Հրապարակվել է 2011

Journal article
3

Model-checking games for fixpoint logics with partial order models ‌ Gutierrez, J, Bradfield, J

Հրապարակվել է 2009

Conference item