Document Search Results

from until

Found 2 Documents (Results 1–2)

Newest Citations Relevance

Bulychev, P. E.

Game-theoretic simulation checking tool. (English. Russian original) Zbl 1242.68154

Program. Comput. Softw. 37, No. 4, 200-209 (2011); translation from Programmirovanie 37, No. 4 (2011).

MSC: 68Q60 68Q85 03B44 91A80 68N30

Cite Review PDF

Full Text: DOI

Bulychev, Peter; Chatain, Thomas; David, Alexandre; Larsen, Kim G.

Efficient on-the-fly algorithm for checking alternating timed simulation. (English) Zbl 1262.68105

Ouaknine, Joël (ed.) et al., Formal modeling and analysis of timed systems. 7th international conference, FORMATS 2009, Budapest, Hungary, September 14–16, 2009. Proceedings. Berlin: Springer (ISBN 978-3-642-04367-3/pbk). Lecture Notes in Computer Science 5813, 73-87 (2009).

MSC: 68Q60 68Q45 91A80

Cite Review PDF

Full Text: DOI

Filter Results by …

Document Type

Journal Articles (1)
Collection Articles (1)

Author

Year of Publication

2011 (1)
2009 (1)

Main Field

68-XX (2)
91-XX (2)
03-XX (1)

all top 3

Software

CUDD (1)
Concurrency Workbench (1)
Kronos (1)
NuSMV (1)
PyCUDD (1)
SIGREF (1)
SPIN (1)
Uppaal (1)