A Super Industrial Application of PSGraph

Yuhui Lin, Gudmund Grov, Colin O'Halloran, Priiya G.. A Super Industrial Application of PSGraph. In Michael J. Butler, Klaus-Dieter Schewe, Atif Mashkoor, Miklós Biró, editors, Abstract State Machines, Alloy, B, TLA, VDM, and Z - 5th International Conference, ABZ 2016, Linz, Austria, May 23-27, 2016, Proceedings. Volume 9675 of Lecture Notes in Computer Science, pages 319-325, Springer, 2016. [doi]

Authors

Yuhui Lin

This author has not been identified. Look up 'Yuhui Lin' in Google

Gudmund Grov

This author has not been identified. It may be one of the following persons: Look up 'Gudmund Grov' in Google

Colin O'Halloran

This author has not been identified. It may be one of the following persons: Look up 'Colin O'Halloran' in Google

Priiya G.

This author has not been identified. Look up 'Priiya G.' in Google