Back to Search
Start Over
Parallel, Distributed Model Checking of Composite Web Services with Integrated Choreography and Orchestration
- Source :
- Machine Learning and Mechanics Based Soft Computing Applications ISBN: 9789811964497
- Publication Year :
- 2023
- Publisher :
- Springer Nature Singapore, 2023.
Details
- ISBN :
- 978-981-19644-9-7
- ISBNs :
- 9789811964497
- Database :
- OpenAIRE
- Journal :
- Machine Learning and Mechanics Based Soft Computing Applications ISBN: 9789811964497
- Accession number :
- edsair.doi...........2471b50102f221a412d1f862ef756ca9
- Full Text :
- https://doi.org/10.1007/978-981-19-6450-3_8