The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "Temporal Logic in Specification"( http://dblp.L3S.de/Venues/Temporal_Logic_in_Specification )

URL (DBLP): http://dblp.uni-trier.de/db/conf/tls

Publication years (Num. hits)
1987 (18) 1989 (1)
Publication types (Num. hits)
inproceedings(18) proceedings(1)
Venues (Conferences, Journals, ...)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
No Growbag Graphs found.

Results
Found 19 publication records. Showing 19 according to the selection in the facets
Hits ? Authors Title Venue Year Link Author keywords
1Behnam Banieqbal, Howard Barringer, Amir Pnueli (eds.) Temporal Logic in Specification, Altrincham, UK, April 8-10, 1987, Proceedings Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1989 DBLP  DOI  BibTeX  RDF
1Bernhard Josko MCTL - An Extension of CTL for Modular Verification of Concurrent Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Edmund M. Clarke, Orna Grumberg The Model Checking Problem for Concurrent Systems with Many Similar Processes. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Pierre Wolper On the Relation of Programs and Computations to Models of Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Colin Stirling Comparing Linear and Branching Time Temporal Logics. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Susanne Graf, Joseph Sifakis An Expressive Logic for a Process Algebra with Silent Actions. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ruurd Kuiper Enforcing Nondeterminism via Linear Time Temporal Logic Specifications using Hiding. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Behnam Banieqbal, Howard Barringer Temporal Logic with Fixed Points. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Dov M. Gabbay The Declarative Past and Imperative Future: Executable Temporal Logic for Interactive Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Zhou Chaochen Specifying Communicating Systems with Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Roger Hale Using Temporal Logic for Prototyping: The Design of a Lift Controller. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Ron Koymans Specifying Message Passing Systems Requires Extending Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Samit Khosla, T. S. E. Maibaum The Prescription and Description of State Based Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Zohar Manna, Amir Pnueli Specification and Verification of Concurrent Programs by forall-Automata. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Job Zwiers, Willem P. de Roever Compositionality and Modularity in Process Specification and Design: A Trace-State Based Approach. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Amílcar Sernadas, José Luiz Fiadeiro, Cristina Sernadas, Hans-Dieter Ehrich Abstract Object Types: A Temporal Perspective. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1P. M. Melliar-Smith Extending Interval Logic to Real Time Systems. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Shmuel Katz, Doron A. Peled Interleaving Set Temporal Logic. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
1Moshe Y. Vardi Unified Verification Theory. Search on Bibsonomy Temporal Logic in Specification The full citation details ... 1987 DBLP  DOI  BibTeX  RDF
Displaying result #1 - #19 of 19 (100 per page; Change: )
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