On formal reachability analysis in networks with dynamic behavior
Silva, Gayan, Ryšavý, Ondřej, Matoušek, Petr, Švéda, MiroslavVolume:
52
Language:
english
Journal:
Telecommunication Systems
DOI:
10.1007/s11235-011-9585-2
Date:
February, 2013
File:
PDF, 601 KB
english, 2013