01484nam 2200457 450 991058663000332120231110225104.03-031-13257-2(CKB)5700000000114162(MiAaPQ)EBC7076578(Au-PeEL)EBL7076578(PPN)264191218(EXLCZ)99570000000011416220230114d2022 uy 0engurcnu||||||||txtrdacontentcrdamediacrrdacarrierDescriptional complexity of formal systems 24th IFIP WG 1. 02 International Conference, DCFS 2022, Debrecen, Hungary, August 29-31, 2022, proceedings /edited by Yo-Sub Han and György VaszilCham, Switzerland :Springer,[2022]©20221 online resource (239 pages)Lecture Notes in Computer Science ;v.13439Includes index.3-031-13256-4 Lecture Notes in Computer Science Formal methods (Computer science)Computational complexityFormal methods (Computer science)Computational complexity.004.0151Han Yo-SubVaszil GyörgyMiAaPQMiAaPQMiAaPQBOOK9910586630003321Descriptional Complexity of Formal Systems1904989UNINA