Pocketbok
Vis utilgjengelige utgivelser

Releases med R Alur

Cover for R Alur · Hybrid Systems: Computation and Control: 7th International Workshop, HSCC 2004, Philadelphia, PA, USA, March 25-27, 2004, Proceedings - Lecture Notes in Computer Science (Pocketbok) [2004 edition] (2004)
Pocketbok
2004 edition
Hybrid Systems: Computation and ...
R Alur
Cover for R Alur · Computer Aided Verification (International Conference, Cav '96, New Brunswick, Nj, Usa, July 31-august 3, 1996 - Proceedings) - Lecture Notes in Computer Science (Pocketbok) (1996)
Pocketbok
Computer Aided Verification (Int...
R Alur