Chatterjee, Krishnendu
Enlarge text Shrink text-
Save successfulThe item can be found in your Personal ZoneשגיאהLog in to your account to save
Information for Authority record
Sources of Information
- Formal modeling and analysis of timed systems, c2010:t.p. (Krishnendu Chatterjee) p. [1] (K. Chatterjee)