View of CSHARPTOUPPAAL: A ROSLYN-BASED STATIC TRANSLATOR FROM GENERAL-PURPOSE C# PROGRAMS TO UPPAAL TIMED-AUTOMATA NETWORKS

Return to Issue Details CSHARPTOUPPAAL: A ROSLYN-BASED STATIC TRANSLATOR FROM GENERAL-PURPOSE C# PROGRAMS TO UPPAAL TIMED-AUTOMATA NETWORKS Download Download PDF