Reineke, Jan
Author ID: | reineke.jan |
Published as: | Reineke, Jan |
External Links: | MGP |
Documents Indexed: | 14 Publications since 2006 |
Co-Authors: | 19 Co-Authors with 13 Joint Publications |
296 Co-Co-Authors |
all
top 5
Co-Authors
Publications by Year
all
top 5
Cited by 46 Authors
Cited in 4 Serials
5 | Real-Time Systems |
1 | Formal Methods in System Design |
1 | Theory of Computing Systems |
1 | Logical Methods in Computer Science |