Digital library of construction informatics and information technology in civil engineering and construction
Digital library
Paper: 121
| Paper title: | Extending - information delivery specification - for linking distributed model checking services |
| Authors: | N C Kremer, J Beetz |
| Summary: | |
| Type: | conference paper |
| Year of publication: | 2023 |
| Series: | w78:2023 |
| ISSN: | 2706-6568 |
| Download paper: | /pdfs/w78-2023-paper_121.pdf |
| Citation: | N C Kremer, J Beetz (2023). Extending - information delivery specification - for linking distributed model checking services. Proceedings of the 40th International Conference of CIB W78, Heraklion, Greece, 10-12 July, pp. 949-956 (ISSN: 2706-6568), http://itc.scix.net/paper/121 |
hosted by University of Ljubljana
includes:
W78
includes:
W78
inspired by SciX, ported by Robert Klinc [2019]