Efficient Verification of Lingua Franca Programs.

Peter Csaba lveczky, Mario Reja, Mikheil Rukhaia, Kyungmin Bae, Mircea Marin

Browse the full TACAS paper archive.