The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Searching for phrase linear time temporal logic (changed automatically) with no syntactic query expansion in all metadata.

Publication years (Num. hits)
1983-1992 (15) 1993-1995 (19) 1996-1997 (20) 1998-2000 (21) 2001-2002 (18) 2003-2004 (26) 2005-2006 (25) 2007 (15) 2008-2010 (16) 2011-2014 (19) 2016-2022 (16)
Publication types (Num. hits)
article(54) incollection(2) inproceedings(154)
Venues (Conferences, Journals, ...)
CAV(13) TIME(10) CONCUR(8) FSTTCS(7) CoRR(6) Formal Methods Syst. Des.(6) LICS(6) ATVA(4) ICECCS(4) J. ACM(4) FME(3) ICALP(3) ICATPN(3) IEEE Trans. Software Eng.(3) LFCS(3) MFCS(3) More (+10 of total 118)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 181 occurrences of 121 keywords

Results
Found 210 publication records. Showing 210 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
90E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" Revisited: On Branching Versus Linear Time. Search on Bibsonomy POPL The full citation details ... 1983 DBLP  DOI  BibTeX  RDF
67Norihiro Kamide Embedding Linear-Time Temporal Logic into Infinitary Logic: Application to Cut-Elimination for Multi-agent Infinitary Epistemic Linear-Time Temporal Logic. Search on Bibsonomy CLIMA The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
42Jesper G. Henriksen, P. S. Thiagarajan A Product Version of Dynamic Linear Time Temporal Logic. Search on Bibsonomy CONCUR The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF temporaxl logic, model checking, games, Alternation
41Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-time Temporal Logic. Search on Bibsonomy FOCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
41Rajeev Alur, Thomas A. Henzinger, Orna Kupferman Alternating-Time Temporal Logic. Search on Bibsonomy COMPOS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
35Eric Bodden A lightweight LTL runtime verification tool for java. Search on Bibsonomy OOPSLA Companion The full citation details ... 2004 DBLP  DOI  BibTeX  RDF joinpoints, linear-time temporal logic (LTL), metadata, aspectJ, concurrent systems, runtime verification
34Gerald M. Karam, Raymond J. A. Buhr Temporal Logic-Based Deadlock Analysis For Ada. Search on Bibsonomy IEEE Trans. Software Eng. The full citation details ... 1991 DBLP  DOI  BibTeX  RDF temporal logic-based specification language, deadlock analyzer, Timebench, concurrent system-design environment, COL, linear-time temporal logic, formal basis, axiomatic reasoning, deadlock analysis tool, reasoning power, Ada designs, systemwide deadlock-free, deadlock algorithm, finite systems, worst-case computational complexity, gas station, layered communications system, computational complexity, Ada, logic programming, temporal logic, Prolog, specification language, specification languages, inference mechanisms, system recovery, theorem prover, readers, dining philosophers, writers
30Norihiro Kamide Relating first-order monadic omega-logic, propositional linear-time temporal logic, propositional generalized definitional reflection logic and propositional infinitary logic. Search on Bibsonomy J. Log. Comput. The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
29E. Allen Emerson, Joseph Y. Halpern "Sometimes" and "Not Never" revisited: on branching versus linear time temporal logic. Search on Bibsonomy J. ACM The full citation details ... 1986 DBLP  DOI  BibTeX  RDF
29P. S. Thiagarajan, Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy LICS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
28Alexander Bolotov A Clausal Resolution Method for Extended Computation Tree Logic ECTL. Search on Bibsonomy TIME The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Doron Drusinsky Monitoring Temporal Rules Combined with Time Series. Search on Bibsonomy CAV The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
27Klaus Schneider 0001, Dirk W. Hoffmann A HOL Conversion for Translating Linear Time Temporal Logic to omega-Automata. Search on Bibsonomy TPHOLs The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
25Yih-Kuen Tsay Compositional Verification in Linear-Time Temporal Logic. Search on Bibsonomy FoSSaCS The full citation details ... 2000 DBLP  DOI  BibTeX  RDF
25Huiqun Yu, Xudong He, Yi Deng 0001, Lian Mo Formal Analysis of Real-Time Systems with SAM. Search on Bibsonomy ICFEM The full citation details ... 2002 DBLP  DOI  BibTeX  RDF model, Real-time system, Petri net, temporal logic, analysis, SAM
24Laura Giordano 0001, Alberto Martelli Tableau-based automata construction for dynamic linear time temporal logic*. Search on Bibsonomy Ann. Math. Artif. Intell. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF AMS subject classification 03B44, 68N30
24Alexander Bolotov, Artie Basukoski, Oleg M. Grigoriev, Vasilyi Shangin Natural Deduction Calculus for Linear-Time Temporal Logic. Search on Bibsonomy JELIA The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
24Laura Giordano 0001, Alberto Martelli On-the-Fly Automata Construction for Dynamic Linear Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
24Chuchang Liu, Maris A. Ozols, Mehmet A. Orgun A Fibred Belief Logic for Multi-agent Systems. Search on Bibsonomy Australian Conference on Artificial Intelligence The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
23Alexander Moshe Rabinovich Decidability and Expressive Power of Real Time Logics. Search on Bibsonomy FORMATS The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
22Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin Automated Natural Deduction for Propositional Linear-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
22Hua Mao, Yingke Chen, Manfred Jaeger, Thomas D. Nielsen, Kim G. Larsen, Brian Nielsen Learning Probabilistic Automata for Model Checking. Search on Bibsonomy QEST The full citation details ... 2011 DBLP  DOI  BibTeX  RDF Probabilistic Linear Time Temporal Logic, Model Checking, Learning, Probabilistic Automata
22Michel Ludwig, Ullrich Hustadt Resolution-Based Model Construction for PLTL. Search on Bibsonomy TIME The full citation details ... 2009 DBLP  DOI  BibTeX  RDF Propositional Linear-Time Temporal Logic, Automated Model Construction, Resolution
22Rajeev Alur, Thomas A. Henzinger A Really Temporal Logic. Search on Bibsonomy J. ACM The full citation details ... 1994 DBLP  DOI  BibTeX  RDF EXPSPACE-completeness, linear-time temporal logic, model checking, discrete time, real-time requirements, dense time
22E. Allen Emerson, Jai Srinivasan Branching time temporal logic. Search on Bibsonomy REX Workshop The full citation details ... 1988 DBLP  DOI  BibTeX  RDF Modal and Temporal Logic: Branching time temporal logic, linear time temporal logic, model checking - Logics of Programs: Reasoning about concurrent programs, specification of and reasoning about fairness - Software Engineering: Specification techniques, automated verification techniques - Computational Complexity, Automata Theory: Finite-state automata on infinite objects, program verification, satisfiability, decidability, expressiveness, decision procedures, dynamic logics, tree automata, axiomatics, program specification, mechanical synthesis
22Patricia Bouyer, Nicolas Markey, Joël Ouaknine, James Worrell 0001 The Cost of Punctuality. Search on Bibsonomy LICS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
21Norihiro Kamide Paraconsistent sequential linear-time temporal logic: Combining paraconsistency and sequentiality in temporal reasoning. Search on Bibsonomy Reports Math. Log. The full citation details ... 2017 DBLP  BibTeX  RDF
21Cheng-Chia Chen, I-Peng Lin The Computational Complexity of Satisfiability of Temporal Horn Formulas in Propositional Linear-Time Temporal Logic. Search on Bibsonomy Inf. Process. Lett. The full citation details ... 1993 DBLP  DOI  BibTeX  RDF
21Madhavan Mukund, P. S. Thiagarajan Linear Time Temporal Logics over Mazurkiewicz Traces. Search on Bibsonomy MFCS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
21Edgar Knapp Soundness and Completeness of UNITY Logic. Search on Bibsonomy FSTTCS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF Classification Theory of Programming Languages, Logic in Computer Science, Theory of Parallel and Distributed Computation
20Silvio Ghilardi, Enrica Nicolini, Silvio Ranise, Daniele Zucchelli Noetherianity and Combination Problems. Search on Bibsonomy FroCoS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
20Matthias Rungger, Manuel Mazo Jr., Paulo Tabuada Specification-guided controller synthesis for linear systems and safe linear-time temporal logic. Search on Bibsonomy HSCC The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
19Rémi Brochenin, Stéphane Demri, Étienne Lozes Reasoning About Sequences of Memory States. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
19Nikolaj S. Bjørner, Joe Hendrix Linear Functional Fixed-points. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
19Laura Giordano 0001, Alberto Martelli, Camilla Schwind Reasoning about Actions in a Multiagent Domain. Search on Bibsonomy AI*IA The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
19Igor Walukiewicz From Logic to Games. Search on Bibsonomy FSTTCS The full citation details ... 2005 DBLP  DOI  BibTeX  RDF
18Michael Fisher 0001, Chiara Ghidini Agents with Bounded Temporal Resources. Search on Bibsonomy Foundations and Applications of Multi-Agent Systems The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
18Benedikt Bollig, Martin Leucker Deciding LTL over Mazurkiewicz Traces. Search on Bibsonomy TIME The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
18Roope Kaivola, Antti Valmari Using Truth-Preserving Reductions to Improve the Clarity of Kripke-Models. Search on Bibsonomy CONCUR The full citation details ... 1991 DBLP  DOI  BibTeX  RDF
17Stéphane Demri, Deepak D'Souza, Régis Gascon A Decidable Temporal Logic of Repeating Values. Search on Bibsonomy LFCS The full citation details ... 2007 DBLP  DOI  BibTeX  RDF
17Alessandro Cimatti, Marco Roveri, Stefano Tonetta Requirements Validation for Hybrid Systems. Search on Bibsonomy CAV The full citation details ... 2009 DBLP  DOI  BibTeX  RDF
16Pengcheng Zhang, Bixin Li, Mingjie Sun A Timed Extension of Property Sequence Chart. Search on Bibsonomy HASE The full citation details ... 2008 DBLP  DOI  BibTeX  RDF
16Laura Giordano 0001, Alberto Martelli, Camilla Schwind Specifying and Verifying Systems of Communicating Agents in a Temporal Action Logic. Search on Bibsonomy AI*IA The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Rui Li, Francesco Belardinelli A Sahlqvist-style Correspondence Theorem for Linear-time Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Samuel Huang 0001, Rance Cleaveland A tableau construction for finite linear-time temporal logic. Search on Bibsonomy J. Log. Algebraic Methods Program. The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Ruijie Meng, Zhen Dong, Jialin Li, Ivan Beschastnikh, Abhik Roychoudhury Linear-time Temporal Logic guided Greybox Fuzzing. Search on Bibsonomy ICSE The full citation details ... 2022 DBLP  DOI  BibTeX  RDF
16Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang 0004 Linear-Time Temporal Logic with Team Semantics: Expressivity and Complexity. Search on Bibsonomy FSTTCS The full citation details ... 2021 DBLP  DOI  BibTeX  RDF
16Jonni Virtema, Jana Hofmann, Bernd Finkbeiner, Juha Kontinen, Fan Yang 0004 Linear-time Temporal Logic with Team Semantics: Expressivity and Complexity. Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
16Benedikt Bollig, Normann Decker, Martin Leucker Erratum to "Frequency Linear-time Temporal Logic". Search on Bibsonomy CoRR The full citation details ... 2020 DBLP  BibTeX  RDF
16Samuel Huang 0001, Rance Cleaveland A Tableau Construction for Finite Linear-Time Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2019 DBLP  BibTeX  RDF
16Hazem Torfah, Martin Zimmermann 0002 The complexity of counting models of linear-time temporal logic. Search on Bibsonomy Acta Informatica The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Jiri Barnat, Vincent Bloemen, Alexandre Duret-Lutz, Alfons Laarman, Laure Petrucci, Jaco van de Pol, Etienne Renault Parallel Model Checking Algorithms for Linear-Time Temporal Logic. Search on Bibsonomy Handbook of Parallel Constraint Reasoning The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Mikhail N. Rybakov, Dmitry Shkatov On complexity of propositional linear-time temporal logic with finitely many variables. Search on Bibsonomy SAICSIT The full citation details ... 2018 DBLP  DOI  BibTeX  RDF
16Mikhail N. Rybakov, Dmitry Shkatov Complexity of propositional Linear-time Temporal Logic with finitely many variables. Search on Bibsonomy CoRR The full citation details ... 2017 DBLP  BibTeX  RDF
16Stefano Tonetta Linear-time Temporal Logic with Event Freezing Functions. Search on Bibsonomy GandALF The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Xiuting Tao, Guoqiang Li 0001 The Complexity of Linear-Time Temporal Logic Model Repair. Search on Bibsonomy SOFL+MSVL The full citation details ... 2017 DBLP  DOI  BibTeX  RDF
16Martin Leucker Runtime Verification for Linear-Time Temporal Logic. Search on Bibsonomy SETSS The full citation details ... 2016 DBLP  DOI  BibTeX  RDF
16Lai-Xiang Shan, Zheng Qin 0003, Shengnan Li, Renwei Zhang, Xiao Yang Conversion Algorithm of Linear-Time Temporal Logic to Buchi Automata. Search on Bibsonomy J. Softw. The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
16Hazem Torfah, Martin Zimmermann 0002 The Complexity of Counting Models of Linear-time Temporal Logic. Search on Bibsonomy CoRR The full citation details ... 2014 DBLP  BibTeX  RDF
16Alexander Schimpf, Peter Lammich Converting Linear-Time Temporal Logic to Generalized Büchi Automata. Search on Bibsonomy Arch. Formal Proofs The full citation details ... 2014 DBLP  BibTeX  RDF
16Bernd Finkbeiner, Hazem Torfah Counting Models of Linear-Time Temporal Logic. Search on Bibsonomy LATA The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
16Hazem Torfah, Martin Zimmermann 0002 The Complexity of Counting Models of Linear-time Temporal Logic. Search on Bibsonomy FSTTCS The full citation details ... 2014 DBLP  DOI  BibTeX  RDF
16Ji Bian, Tim French 0002, Mark Reynolds 0001 An Efficient Tableau for Linear Time Temporal Logic. Search on Bibsonomy Australasian Conference on Artificial Intelligence The full citation details ... 2013 DBLP  DOI  BibTeX  RDF
16Wolfgang Jeltsch Towards a Common Categorical Semantics for Linear-Time Temporal Logic and Functional Reactive Programming. Search on Bibsonomy MFPS The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Mariusz Giero Weak Completeness Theorem for Propositional Linear Time Temporal Logic. Search on Bibsonomy Formaliz. Math. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Lars Kuhtz, Bernd Finkbeiner Efficient Parallel Path Checking for Linear-Time Temporal Logic With Past and Bounds Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Norihiro Kamide Strong normalization of a typed lambda calculus for intuitionistic bounded linear-time temporal logic. Search on Bibsonomy Reports Math. Log. The full citation details ... 2012 DBLP  BibTeX  RDF
16Norihiro Kamide Bounded linear-time temporal logic: A proof-theoretic investigation. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Alan Jeffrey LTL types FRP: linear-time temporal logic propositions as types, proofs as functional reactive programs. Search on Bibsonomy PLPV The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Benedikt Bollig, Normann Decker, Martin Leucker Frequency Linear-time Temporal Logic. Search on Bibsonomy TASE The full citation details ... 2012 DBLP  DOI  BibTeX  RDF
16Norihiro Kamide, Heinrich Wansing A Paraconsistent Linear-time Temporal Logic. Search on Bibsonomy Fundam. Informaticae The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
16Mariusz Giero The Axiomatization of Propositional Linear Time Temporal Logic. Search on Bibsonomy Formaliz. Math. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
16Heinrich Wansing, Norihiro Kamide Synchronized Linear-Time Temporal Logic. Search on Bibsonomy Stud Logica The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
16Kensuke Kojima, Atsushi Igarashi Constructive linear-time temporal logic: Proof systems and Kripke semantics. Search on Bibsonomy Inf. Comput. The full citation details ... 2011 DBLP  DOI  BibTeX  RDF
16Ken Kaneiwa, Norihiro Kamide Sequence-Indexed Linear-Time Temporal Logic: Proof System and Application. Search on Bibsonomy Appl. Artif. Intell. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
16Stéphane Demri, Alexander Rabinovich The complexity of linear-time temporal logic over the class of ordinals Search on Bibsonomy Log. Methods Comput. Sci. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
16Norihiro Kamide, Heinrich Wansing Combining linear-time temporal logic with constructiveness and paraconsistency. Search on Bibsonomy J. Appl. Log. The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
16Martin Leucker, César Sánchez Regular Linear-Time Temporal Logic. Search on Bibsonomy TIME The full citation details ... 2010 DBLP  DOI  BibTeX  RDF
16Alexander Bolotov, Oleg M. Grigoriev, Vasilyi Shangin A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic. Search on Bibsonomy IICAI The full citation details ... 2007 DBLP  BibTeX  RDF
16Shengbing Jiang, Ratnesh Kumar 0001 Diagnosis of repeated failures for discrete event systems with linear-time temporal-logic specifications. Search on Bibsonomy IEEE Trans Autom. Sci. Eng. The full citation details ... 2006 DBLP  DOI  BibTeX  RDF
16Shengbing Jiang, Ratnesh Kumar 0001 Failure diagnosis of discrete-event systems with linear-time temporal logic specifications. Search on Bibsonomy IEEE Trans. Autom. Control. The full citation details ... 2004 DBLP  DOI  BibTeX  RDF
16Shengbing Jiang, Ratnesh Kumar 0001 Diagnosis of repeated failures for discrete event systems with linear-time temporal logic specifications. Search on Bibsonomy CDC The full citation details ... 2003 DBLP  DOI  BibTeX  RDF
16Sami Evangelista, Claude Kaiser, Jean-François Pradat-Peyre, Pierre Rousseau Verifying linear time temporal logic properties of concurrent Ada programs with quasar. Search on Bibsonomy SIGAda The full citation details ... 2003 DBLP  DOI  BibTeX  RDF petri nets, concurrency, temporal logic, software verification
16P. S. Thiagarajan, Igor Walukiewicz An Expressively Complete Linear Time Temporal Logic for Mazurkiewicz Traces. Search on Bibsonomy Inf. Comput. The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Shengbing Jiang, Ratnesh Kumar 0001 Failure diagnosis of discrete event systems with linear-time temporal logic fault specifications. Search on Bibsonomy ACC The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Anatoli Degtyarev, Michael Fisher 0001, Boris Konev A Simplified Clausal Resolution Procedure for Propositional Linear-Time Temporal Logic. Search on Bibsonomy TABLEAUX The full citation details ... 2002 DBLP  DOI  BibTeX  RDF
16Falk Dietrich, Xavier Logean, Jean-Pierre Hubaux Modeling and testing object-oriented distributed systems with linear-time temporal logic. Search on Bibsonomy Concurr. Comput. Pract. Exp. The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Laura Giordano 0001, Alberto Martelli, Camilla Schwind Reasoning about Actions in Dynamic Linear Time Temporal Logic. Search on Bibsonomy Log. J. IGPL The full citation details ... 2001 DBLP  DOI  BibTeX  RDF
16Jesper G. Henriksen, P. S. Thiagarajan Dynamic Linear Time Temporal Logic. Search on Bibsonomy Ann. Pure Appl. Log. The full citation details ... 1999 DBLP  DOI  BibTeX  RDF
16Khalil Ajami, Serge Haddad, Jean-Michel Ilié Exploiting Symmetry in Linear Time Temporal Logic Model Checking: One Step Beyond. Search on Bibsonomy TACAS The full citation details ... 1998 DBLP  DOI  BibTeX  RDF Büchi automata, Model Checking, Verification, Temporal Logic, Symmetries, LTL
16Bernhard Heinemann A Topological Generalization of Propositional Linear Time Temporal Logic. Search on Bibsonomy MFCS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Peter H. Schmitt, Jean Goubault-Larrecq A Tableau System for Linear-TIME Temporal Logic. Search on Bibsonomy TACAS The full citation details ... 1997 DBLP  DOI  BibTeX  RDF
16Bengt Jonsson 0001, Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic. Search on Bibsonomy Theor. Comput. Sci. The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16P. S. Thiagarajan, Jesper G. Henriksen Distributed Versions of Linear Time Temporal Logic: A Trace Perspective. Search on Bibsonomy Petri Nets The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Ramaswamy Ramanujam Locally Linear Time Temporal Logic. Search on Bibsonomy LICS The full citation details ... 1996 DBLP  DOI  BibTeX  RDF
16Bengt Jonsson 0001, Yih-Kuen Tsay Assumption/Guarantee Specifications in Linear-Time Temporal Logic (Extended Abstract). Search on Bibsonomy TAPSOFT The full citation details ... 1995 DBLP  DOI  BibTeX  RDF
16P. S. Thiagarajan A Trace Based Extension of Linear Time Temporal Logic Search on Bibsonomy LICS The full citation details ... 1994 DBLP  DOI  BibTeX  RDF
16Michael Fisher 0001 A Model Checker for Linear Time Temporal Logic. Search on Bibsonomy Formal Aspects Comput. The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
16Roope Kaivola Compositional Model Checking for Linear-Time Temporal Logic. Search on Bibsonomy CAV The full citation details ... 1992 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #100 of 210 (100 per page; Change: )
Pages: [1][2][3][>>]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license