Model Checking Approach to the Correctness Proof of Complex Systems

Marina Alekseeva, Ekaterina Dashkova
2011 unpublished
doi:10.15514/syrcose-2011-5-11 fatcat:agjp3pp6vbgtbh4a6qffqsx3im