Bibliography | Mahadevan, Saravanan: Implementation of a Consistency Test for Free-Choice Sugnal Transition Graphs. University of Stuttgart, Faculty of Computer Science, Electrical Engineering, and Information Technology, Master Thesis No. 1 (2004). 74 pages, english.
|