2 results
Interactive and automated proofs for graph transformations
-
- Journal:
- Mathematical Structures in Computer Science / Volume 28 / Issue 8 / September 2018
- Published online by Cambridge University Press:
- 27 July 2018, pp. 1333-1362
-
- Article
- Export citation
Contributors
-
-
- Book:
- Sleep Deprivation, Stimulant Medications, and Cognition
- Published online:
- 05 September 2012
- Print publication:
- 23 August 2012, pp vii-viii
-
- Chapter
- Export citation