Search alternatives:
underlying linear » underlying idea, underlying gender, underlying mental
simulation code » simulation codes, simulation mode, simulation model
code underlying » model underlying, d underlying, work underlying
underlying linear » underlying idea, underlying gender, underlying mental
simulation code » simulation codes, simulation mode, simulation model
code underlying » model underlying, d underlying, work underlying
1
by Pientka, Brigitte.
Published 2023
Format:
Published 2023
Table of Contents: “... with Communicating Hybrid Programs -- 1 Introduction -- 2 Dynamic Logic of Communicating Hybrid Programs -- 2...”
Click to View
2
by Groote, Jan Friso.
Published 2021
Format:
Published 2021
Table of Contents: “... Preliminaries -- 3 Directed Search Algorithms -- 4 Directed Reachability -- 4.1 Distance Under-approximations...”
Click to View