Normal view
MARC view
Manea, Florin (Personal Name)
Machine generated authority record.
Work cat.: (OSt)281225: Descriptional complexity of formal systems : 18th IFIP WG 1.2 international conference, DCFS, Bucharest, Romania, July 5-8, 2016. proceedings (e-book), 2016