SCOPUS 정보 검색 플랫폼

Volumn 1443 LNCS, Issue , 1998, Pages 140-151

Difficult configurations - On the complexity of LTrL

Author keywords

[No Author keywords available]

Indexed keywords

GLOBAL STATE; LINEAR TIME TEMPORAL LOGIC;

ARTIFICIAL INTELLIGENCE;

AUTOMATA THEORY;

EID: 84878586017 PISSN: 03029743 EISSN: 16113349 Source Type: Book Series
DOI: None Document Type: Conference Paper

Times cited : (36)

References (14)

1
- 84878537580
- submitted
- R. Alur, K. McMillan, and D. Peled. Deciding global parial-ordor properties. submitted, 1997.
- (1997) Deciding Global Parial-ordor Properties
- Alur, R.¹ McMillan, K.² Peled, D.³

2
- 0029203319
- Model-checking of causality properties
- R. Alur, D. Peled, and W. Penczek. Model-checking of causality properties. In LICS '95, pages 90-100, 1995.
- (1995) LICS '95 , pp. 90-100
- Alur, R.¹ Peled, D.² Penczek, W.³

3
- 0004024352
- World Scientific
- V. Diekert and G. Rozenberg, editors. The Book of Truces. World Scientific, 1995.
- (1995) The Book of Truces
- Diekert, V.¹ Rozenberg, G.²

4
- 0041507909
- Logical definability on infinite traces
- W. Ebinger and A. Muscholl. Logical definability on infinite traces. In ICALP'93, volume 700, pages 335-346, 1993.
- (1993) ICALP'93 , vol.700 , pp. 335-346
- Ebinger, W.¹ Muscholl, A.²

5
- 0003758319
- Springer-Verlag
- P. Godefroid. Partial-order methods for the verification of concurrent systems, volume 1032 of LNCS. Springer-Verlag, 1996.
- (1996) Partial-order Methods for the Verification of Concurrent Systems, Volume 1032 of LNCS
- Godefroid, P.¹

6
- 0003183966
- A logical study of distributed transition systems
- G. K. Lodaya, R. Parikh, R. Ramanujam, and P. Thiagarajan. A logical study of distributed transition systems. Information and Computation, 119:91-118, 1985.
- (1985) Information and Computation , vol.119 , pp. 91-118
- Lodaya, G.K.¹ Parikh, R.² Ramanujam, R.³ Thiagarajan, P.⁴

7
- 84947900891
- Partial order reduction: Model checking using representatives
- D. Peled. Partial order reduction: model checking using representatives. In MFCS'90, volume 1113 of LNCS, pages 93-112, 1996.
- (1996) MFCS'90, Volume 1113 of LNCS , pp. 93-112
- Peled, D.¹

8
- 0028413137
- Proving partial order properties
- D. Peled and A. Pnueli. Proving partial order properties. Theoretical Computer Science, 120: 143-182, 1994.
- (1994) Theoretical Computer Science , vol.120 , pp. 143-182
- Peled, D.¹ Pnueli, A.²

9
- 0038787373
- On udccidability of propositional temporal logics on trace systems
- W. Penczek. On udccidability of propositional temporal logics on trace systems. Information Processing Letters, 43:147-153, 1992.
- (1992) Information Processing Letters , vol.43 , pp. 147-153
- Penczek, W.¹

10
- 0029706220
- Locally linear time temporal logic
- R. Ramanujam. Locally linear time temporal logic. In LICS'96, pages 118-128, 1996.
- (1996) LICS'96 , pp. 118-128
- Ramanujam, R.¹

11
- 0022092438
- The complexity of propositional linear time logic
- A. Sistla and E. Clarke. The complexity of propositional linear time logic. J. ACM, 32:733-749, 1985.
- (1985) J. ACM , vol.32 , pp. 733-749
- Sistla, A.¹ Clarke, E.²

12
- 0028101666
- A trace based extension of linear time temporal logic
- P. S. Thiagarajan. A trace based extension of linear time temporal logic. In LICS, pages 438-447, 1994.
- (1994) LICS , pp. 438-447
- Thiagarajan, P.S.¹

14
- 0001176166
- A stubborn attack on state explosion
- A. Valmari. A stubborn attack on state explosion. Formal Methods in System Design, 1:297-322, 1992.
- (1992) Formal Methods in System Design , vol.1 , pp. 297-322
- Valmari, A.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.