Formal verification of systems with an unlimited number of components
Varekova, P., Zimmerova, B., Moravec, P., Cerna, I.Volume:
2
Year:
2008
Language:
english
DOI:
10.1049/iet-sen:20080009
File:
PDF, 470 KB
english, 2008