|
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
8 gevonden resultaten
| nr | titel | auteur | tijdschrift | jaar | jaarg. | afl. | pagina('s) | type |
| 1 | An Undecidable Problem for Timed Automata |
Anuj Puri |
1999 |
9 | 2 |
p. 135-146 12 p. |
artikel |
|
| 2 | An Undecidable Problem for Timed Automata |
Puri, Anuj |
1999 |
9 | 2 |
p. 135-146 |
artikel |
|
| 3 | Concurrent Sample Path Analysis of Discrete Event Systems |
Christos G. Cassandras |
1999 |
9 | 2 |
p. 171-195 25 p. |
artikel |
|
| 4 | Concurrent Sample Path Analysis of Discrete Event Systems |
Cassandras, Christos G. |
1999 |
9 | 2 |
p. 171-195 |
artikel |
|
| 5 | Dynamic Min-Max Problems |
Uwe Schwiegelshohn |
1999 |
9 | 2 |
p. 111-134 24 p. |
artikel |
|
| 6 | Dynamic Min-Max Problems |
Schwiegelshohn, Uwe |
1999 |
9 | 2 |
p. 111-134 |
artikel |
|
| 7 | Synthesis of Controllers of Processes Modeled as ColoredPetri Nets |
Mbi Makungu |
1999 |
9 | 2 |
p. 147-169 23 p. |
artikel |
|
| 8 | Synthesis of Controllers of Processes Modeled as Colored Petri Nets |
Makungu, Mbi |
1999 |
9 | 2 |
p. 147-169 |
artikel |
8 gevonden resultaten