Formal Modeling and Analysis of Distributed Systems : An Introduction Based on Executable Modeling in Maude
ISBN: 9781447166870
Information Available:
Cover Image
Copyright held by Baker & Taylor.