
@Book{ AAVVk,
Author = "AAVV",
Editor = "Leeuwen, Jan Van",
date-added = "2020-04-10 11:07:26 +0200",
date-modified = "2020-04-10 11:07:27 +0200",
Keywords = "formal semantics and automata theory and language theory and shelf",
Title = "Handbook of Theoretical Computer Science - Volume B - FORMAL MODELS AND SEMANTICS",
Volume = "B",
File = "Handbook of Theoretical Computer Science - Volume B - FORMAL MODELS AND SEMANTICS - AAVV (0) (0) - a - a.pdf"
}
@Book{ AAVVk,
Author = "AAVV",
Editor = "Leeuwen, Jan Van",
date-added = "2020-04-10 11:07:26 +0200",
date-modified = "2020-04-10 11:07:27 +0200",
Keywords = "formal semantics and automata theory and language theory and shelf",
Title = "Handbook of Theoretical Computer Science - Volume B - FORMAL MODELS AND SEMANTICS",
Volume = "B",
File = "Handbook of Theoretical Computer Science - Volume B - FORMAL MODELS AND SEMANTICS - AAVV (0) (0) - a - a.pdf"
}