ICFEM'12 Proceedings of the 14th international conference on Formal Engineering Methods: formal methods and software engineering
SAT: Based bounded strong satisfiability checking of reactive system specifications
ICT-EurAsia'13 Proceedings of the 2013 international conference on Information and Communication Technology
Hi-index | 0.00 |