dblp.uni-trier.dewww.dagstuhl.dewww.uni-trier.de

Maarten de Rijke (Selection)

List of publications from the DBLP Bibliography Server - FAQ
Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo


70Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLMassimo Franceschet, Angelo Montanari, Maarten de Rijke: Model Checking for Combined Logics with an Application to Mobile Systems. Autom. Softw. Eng. 11(3): 289-321 (2004)
10Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Montanari, Maarten de Rijke: Two-sorted Metric Temporal Logics. Theor. Comput. Sci. 183(2): 187-214 (1997)
8Electronic Edition pubzone.org CiteSeerX Google scholar BibTeX bibliographical record in XMLAngelo Montanari, Maarten de Rijke: Completeness Results for Two-sorted Metric Temporal Logics. AMAST 1995: 385-399

Selection of 3 from 263 records - Maarten de Rijke has 185 coauthors

Last update 2012-09-10 CET by the DBLP TeamThis material is Open Data Content released under the ODC-BY 1.0 license — See also our legal information page