Search    Browse

The FacetedDBLP logo    Search for: in:

Disable automatic phrases ?     Syntactic query expansion: ?

Publications at "FTRTFT"( http://dblp.L3S.de/Venues/FTRTFT )

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

Publication years (Num. hits)
1988 (16) 1991-1992 (33) 1994 (52) 1996 (31) 1998 (32) 2000 (25) 2002 (26)
Publication types (Num. hits)
inproceedings(208) proceedings(7)
Venues (Conferences, Journals, ...)
FTRTFT(215)
Authors
Amir Pnueli(6) Mathai Joseph(5) Paritosh K. Pandya(5) Dang Van Hung(4) Henning Dierks(4) Jozef Hooman(4) Martin Fränzle(4) Natarajan Shankar(4) Oded Maler(4) Ahmed Bouajjani(3) Anders P. Ravn(3) Bengt Jonsson 0001(3) Chaochen Zhou(3) Frits W. Vaandrager(3) Hans Rischel(3) Jan Vytopil(3) More (+10 of total 353)
GrowBag graphs for keyword ? (Num. hits/coverage)

Group by:
The graphs summarize 44 occurrences of 37 keywords
Results
Found 215 publication records. Showing 215 according to the selection in the facets
Hits ?▲ Authors Title Venue Year Link Author keywords
1Daniel Pilaud, Nicolas Halbwachs From a Synchronous Declarative Language to a Temporal Logic Dealing with Multiform Time. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Leo Yuhsiang Liu, R. K. Shyamasundar Static Analysis of Real-time Distributed Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Maurice Herlihy, Jeannette M. Wing Reasoning about Atomic Objects. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Insup Lee 0001, Amy E. Zwarico Timed Acceptances: A Model of Time Dependent Processes. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1John Alexander McDermid, Gary Morgan Low Level Synchronisation Problems in Digital Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Giuseppe Pappalardo, Santosh K. Shrivastava A Formal Treatment of Interference in Remote Procedure Calls. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Glenn H. MacEwen, David B. Skillicorn Using Higher-order Logic for Modular Specification of Real-time Distributed Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Michael J. Fischer, Lenore D. Zuck Reasoning about Uncertainty in Fault-tolerant Distributed Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Mathai Joseph (eds.) Formal Techniques in Real-Time and Fault-Tolerant Systems, Proceedings of a Symposium, Warwick, UK, September 22-23, 1988 Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Jacques Jaray Timed Specifications for the Development of Real-time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1W. J. Cullyer High Integrity Computing. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Ron Koymans, Ruurd Kuiper 0001, Erik Zijstra Paradigms for Real-time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Hanno Wupper, Jan Vytopil A Specification Language for Reliable Real-time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Amir Pnueli, Eyal Harel Applications of Temporal Logic to the Specification of Real-time Systems. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
1Neelam Soundararajan, Roger L. Costello Responsive Sequential Processes. Search on Bibsonomy FTRTFT The full citation details ... 1988 DBLP  DOI  BibTeX  RDF
Displaying result #201 - #215 of 215 (100 per page; Change: )
Pages: [<<][1][2][3]
Valid XHTML 1.1! Valid CSS! [Valid RSS]
Maintained by L3S.
Previously maintained by Jörg Diederich.
Based upon DBLP by Michael Ley.
open data data released under the ODC-BY 1.0 license