Login / Signup

Model checking single agent behaviours by fluid approximation.

Luca BortolussiJane Hillston
Published in: Inf. Comput. (2015)
Keyphrases