Characterising timing analysis in intuitionistic modal logic (1998)

by M Mendler
Venue:University of S~ao Paulo