Sriram Sankaranarayanan · 5 obras en el catálogoObrasFormal Modeling and Analysis of Timed SystemsTTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of SystemsVVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract InterpretationAAutomated Technology for Verification and AnalysisAutomated Technology for Verification and AnalysisIInteger Programming GamesInteger Programming Games
TTools and Algorithms for the Construction and Analysis of SyTools and Algorithms for the Construction and Analysis of Systems
VVerification, Model Checking, and Abstract InterpretationVerification, Model Checking, and Abstract Interpretation
AAutomated Technology for Verification and AnalysisAutomated Technology for Verification and Analysis
