Cited By
View all- Sungeetha DSathish Kumar B(2023)Parallel, Distributed Model Checking of Composite Web Services with Integrated Choreography and OrchestrationMachine Learning and Mechanics Based Soft Computing Applications10.1007/978-981-19-6450-3_8(65-76)Online publication date: 28-Feb-2023
- Hóu ZClouston RGoré RTiu A(2018)Modular Labelled Sequent Calculi for Abstract Separation LogicsACM Transactions on Computational Logic10.1145/319738319:2(1-35)Online publication date: 28-Apr-2018
- Docherty SPym D(2018)Modular Tableaux Calculi for Separation TheoriesFoundations of Software Science and Computation Structures10.1007/978-3-319-89366-2_24(441-458)Online publication date: 14-Apr-2018
- Show More Cited By