Model checking hybrid logics (with an application to semistructured data)
Work
Year: 2005
Type: article
Source: Journal of Applied Logic
Authors Massimo Franceschet, Maarten de Rijke
Institutions University of Chieti-Pescara, University of Amsterdam
Cites: 43
Cited by: 67
Related to: 10
FWCI: 4.18
Citation percentile (by year/subfield): 96.63
Subfield: Computer Networks and Communications
Field: Computer Science
Domain: Physical Sciences
Open Access status: bronze