Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
Yazar
Legay, Axel. editor.
Format:
Electronic Resources
Alıntı:
Tools and Algorithms for the Construction and Analysis of Systems 23rd International Conference
View Other Search Results
Yazar
Biondi, Fabrizio. editor.
Format:
Electronic Resources
Alıntı:
demo-tool papers, were carefully reviewed and selected from 29 submissions. Topics covered include formal