|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
7 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | Abstract regular (tree) model checking |
Bouajjani, Ahmed |
2011 |
14 | 2 |
p. 167-191 |
artikel |
|
| 2 | A lightweight regular model checking approach for parameterized systems |
Delzanno, Giorgio |
2011 |
14 | 2 |
p. 207-222 |
artikel |
|
| 3 | Domain-specific regular acceleration |
Boigelot, Bernard |
2011 |
14 | 2 |
p. 193-206 |
artikel |
|
| 4 | Extrapolating (omega-)regular model checking |
Legay, Axel |
2011 |
14 | 2 |
p. 119-143 |
artikel |
|
| 5 | Regular model checking |
Abdulla, Parosh Aziz |
2011 |
14 | 2 |
p. 109-118 |
artikel |
|
| 6 | Regular model checking for LTL(MSO) |
Abdulla, Parosh Aziz |
2011 |
14 | 2 |
p. 223-241 |
artikel |
|
| 7 | Widening techniques for regular tree model checking |
Bouajjani, Ahmed |
2011 |
14 | 2 |
p. 145-165 |
artikel |
7 gevonden resultaten