| HAL-Inria | Publications, software ... of Inria's scientists |
Books
Descriptional Complexity of Formal Systems: 20th IFIP WG 1.02 International Conference, DCFS 2018, Halifax, NS, Canada, July 25–27, 2018, Proceedings
Abstract : Book Front Matter of LNCS 10952
Cited literature [22 references]
https://hal.inria.fr/hal-01905624
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 26, 2018 - 8:01:02 AM
Last modification on : Friday, June 11, 2021 - 9:26:03 AM
Contributor : Hal Ifip Connect in order to contact the contributor
Submitted on : Friday, October 26, 2018 - 8:01:02 AM
Last modification on : Friday, June 11, 2021 - 9:26:03 AM
Licence
Distributed under a Creative Commons Attribution 4.0 International License