E-LIB Suche - Ergebnisse für: Gupta, Sharad

Sorted by: Relevance

Sorted by: Year

8th ACM IKDD CODS and 26th COMAD:

Haritsa, Jayant ; Roy, Shourya ; Gupta, Manish... , 2021

Computer Aided Verification

20th International Conference, CAV 2008 Princeton, NJ, USA,... Lecture Notes in Computer Science ; 5123;SpringerLink, Bücher;Springer eBook Collection, Computer Science

Terzopoulos, Demetri ; Tygar, Doug ; Vardi, Moshe Y.... , 2008

Link: http://dx.doi.org/10.100..

Computer aided verification

20th international conference, CAV 2008, Princeton, NJ, USA... Lecture notes in computer science ; 5123

Gupta, Aarti ; Malik, Sharad , 2008

Link: http://dx.doi.org/10.100..

1-3