Back to Search Start Over

Verifying quantitative temporal properties of procedural programs

Authors :
Atig, Mohamed Faouzi
Bouajjani, Ahmed
Narayan Kumar, K.
Saivasan, Prakash
Atig, Mohamed Faouzi
Bouajjani, Ahmed
Narayan Kumar, K.
Saivasan, Prakash
Publication Year :
2018

Details

Database :
OAIster
Notes :
English
Publication Type :
Electronic Resource
Accession number :
edsoai.on1235201013
Document Type :
Electronic Resource
Full Text :
https://doi.org/10.4230.LIPIcs.CONCUR.2018.15
Full Text Access
View/download PDF

Tools

Authors Abstract Subjects Details