Nesting Until and Since in Linear Temporal Logic期刊界 All Journals 搜尽天下杂志传播学术成果专业期刊搜索期刊信息化学术搜索

Nesting Until and Since in Linear Temporal Logic

Authors:	Email author" target="_blank">Denis?Thérien Email author Email author" target="_blank">Thomas?Wilke Email author

Affiliation:	(1) School of Computer Science, McGill University, Montréal, Quebec, H3A 2A7, Canada;(2) Institut für Informatik und Praktische Mathematik, Christian-Albrechts-Universität, D-24118 Kiel, Germany

Abstract:

Keywords:
本文献已被 SpringerLink 等数据库收录！