Comparing LTL Semantics for Runtime Verification
- 期刊名称Journal of Logic and Computation
- 作者Bauer, A.; Leucker, M.; Schallhart, C.
- 卷第20卷
- 期第3期
- 印刷ISSN0955-792X
- 电子ISSN1465-363X
- 文件大小444.29KB
- 发表时间2010-06-01
- DOI10.1093/logcom/exn075
- 页码651-674
All in the Family: systematic reviews, rapid reviews, scoping reviews, realist reviews, and moreMoher, David; Stewart, Lesley; Shekelle, Paul · Systematic Reviews · 2015
Reviews, reviews, reviewsFrantisek Svec · 2010
Book reviews…Book reviews…Book reviews1999
REVIEWS, REVIEWS, REVIEWS!Merna, Katherine M; Features Submission, Haworth Continuing · Journal of Nutrition in Recipe & Menu Development · 1995
REVIEWS, REVIEWS, REVIEWS!Parsa, H. G. · Journal of Nutrition in Recipe & Menu Development · 1995
REVIEWS, REVIEWS, REVIEWS!Parsa, H. G.; Features Submission, Haworth Continuing · Journal of Nutrition in Recipe & Menu Development · 1995
Reviews, reviews, reviewsChien, Patrick · BJOG: An International Journal of Obstetrics & Gynaecology · 2017
Book reviews; Book Reviews; Book Reviews;Smith, Marian; Scott, Allen; Lott, Marie · Journal of Musicological Research · 2005
ReviewsSCAPECCHI, PIERO · The Library · 1994
JOHANNES PHILIPPUS DE LIGNAMINE AND TWO UNTRACED EDITIONSSCAPECCHI, PIERO · The Library · 1990
AN EXAMPLE OF PRINTER'S COPY USED IN ROME, 1470SCAPECCHI, PIERO · The Library · 1990
SAR Studies on the Potent and Selective Muscarinic Antagonist 2-Ethylthio-2,2-diphenylacetic Acid N,N-Diethylaminoethyl EsterSerena Scapecchi; Piero Angeli; Silvia Dei; Carla Ghelardini; Fulvio Gualtieri; Gabriella Marucci; Fiorella Paparelli; M. Novella Romanelli; Elisabetta Teodori · 1997
Una carta dell'esemplare riminese delle Vite del Vasari con correzioni di Giambullari. Nuove indicazioni e proposte per la torrentinianaPiero Scapecchi · Mitteilungen des Kunsthistorischen Institutes in Florenz · 1998
Muscarinic subtype affinity and functional activity profile of 1-methyl-2-(2-methyl-1,3-dioxolan-4-yl)pyrrolidine and 1-methyl-2-(2-methyl-1,3-oxathiolan-5-yl)pyrrolidine derivativesSilvia Dei; Piero Angeli; Cristina Bellucci; Michela Buccioni; Fulvio Gualtieri; Gabriella Marucci; Dina Manetti; Rosanna Matucci; Maria Novella Romanelli; Serena Scapecchi; Elisabetta Teodori · 2005
Finno-Ugrian MaterialsElemer Bako · The Quarterly Journal of the Library of Congress · 1964
Near and Middle EastROBERT F. OGDEN, ABRAHAM BODURGIL, KHALIL HELOU and IBRAHIM POURHADI · The Quarterly Journal of the Library of Congress · 1964
The Baltic StatesJohn P. Balys · The Quarterly Journal of the Library of Congress · 1964
Front MatterThe Quarterly Journal of the Library of Congress · 1965
Old Master PrintsThe Quarterly Journal of the Library of Congress · 1966
Front MatterThe Quarterly Journal of the Library of Congress · 1970
Consultants ChoiceThe Quarterly Journal of the Library of Congress · 1970
SONG TOURNAMENT: NEW STYLELouis Untermeyer · The Quarterly Journal of the Library of Congress · 1970