Publication:4818743
From MaRDI portal
zbMath1083.68071MaRDI QIDQ4818743
Wojciech Penczek, Beata Konikowska
Publication date: 1 October 2004
Full work available at URL: http://iospress.metapress.com/openurl.asp?genre=article&issn=0169-2968&volume=60&issue=1&spage=211
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
Multi-valued model checking games, Model checking computation tree logic over finite lattices, Abstraction and approximation in fuzzy temporal logics and models