|
Journal description
All volumes of the corresponding journal
All issues of the corresponding volume
All articles of the corresponding issues
8 results found
| no | title | author | magazine | year | volume | issue | page(s) | type |
| 1 | An Undecidable Problem for Timed Automata |
Anuj Puri |
1999 |
9 | 2 |
p. 135-146 12 p. |
article |
|
| 2 | An Undecidable Problem for Timed Automata |
Puri, Anuj |
1999 |
9 | 2 |
p. 135-146 |
article |
|
| 3 | Concurrent Sample Path Analysis of Discrete Event Systems |
Christos G. Cassandras |
1999 |
9 | 2 |
p. 171-195 25 p. |
article |
|
| 4 | Concurrent Sample Path Analysis of Discrete Event Systems |
Cassandras, Christos G. |
1999 |
9 | 2 |
p. 171-195 |
article |
|
| 5 | Dynamic Min-Max Problems |
Uwe Schwiegelshohn |
1999 |
9 | 2 |
p. 111-134 24 p. |
article |
|
| 6 | Dynamic Min-Max Problems |
Schwiegelshohn, Uwe |
1999 |
9 | 2 |
p. 111-134 |
article |
|
| 7 | Synthesis of Controllers of Processes Modeled as ColoredPetri Nets |
Mbi Makungu |
1999 |
9 | 2 |
p. 147-169 23 p. |
article |
|
| 8 | Synthesis of Controllers of Processes Modeled as Colored Petri Nets |
Makungu, Mbi |
1999 |
9 | 2 |
p. 147-169 |
article |
8 results found