|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 4 van 8 gevonden artikelen
| Titel: |
Bounded Model Checking for Timed Automata 1 1 This research was supported by the National Science Foundation under grants CCR-00-82560 and CCR-00-86096. |
| Auteur: |
Sorea, Maria |
| Verschenen in: |
Electronic notes theoretical computer science |
| Paginering: | Jaargang 68 (2003) nr. 5 pagina's 19 p. |
| Jaar: |
2003 |
| Inhoud: | |
| Uitgever: |
Published by Elsevier B.V. |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 8 gevonden artikelen
| << vorige | volgende >> |