Estadisticas : A linear temporal logic model checking method over finite words with correlated transition attributes

Couvreur, J.M.
Visitas:3268

1230

596

391

377

356

103

90

32

19

16

16

8

7

4

3

3

2

2

2

2

1

1

1

1

1

1

1

1

1

Descargas: 1600