Name Card

Full name Familienname, Vorname
Shankar, Natarajan
 
Main Affiliation Organisations­zuordnung
SRI
 

Own Publications Eigene Publikationen

Results 1-2 of 2 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Rozier-2023-Developing an Open-Source, State-of-the-Art Symbolic Model-Ch...-vor.pdf.jpgRozier, Kristin Yvonne ; Shankar, Natarajan ; Tinelli, Cesare ; Vardi, Moshe Developing an Open-Source, State-of-the-Art Symbolic Model-Checking Framework for the Model-Checking Research CommunityInproceedings Konferenzbeitrag Oct-2023
2Eiter, Thomas ; Esparza, Javier ; Palamidessi, Catuscia ; Plotkin, Gordon ; Shankar, Natarajan Alonzo Church Award 2018 - Call for NominationsArtikel Article 2018