Showing 1 - 2 results of 2 for search 'M.R. Di Berardini', query time: 0.01s Refine Results
  1. 1
    Shape Calculus. A Spatial Mobile Calculus for 3D Shapes

    Shape Calculus. A Spatial Mobile Calculus for 3D Shapes by E. Bartocci, F. Corradini, M.R Di Berardini, E. Merelli, L. Tesei

    Published 2010-12-01
    Get full text
    Article
    Save to List
    Saved in:
  2. 2
    Timed Operational Semantics and Well-Formedness of Shape Calculus

    Timed Operational Semantics and Well-Formedness of Shape Calculus by E. Bartocci, D.R. Cacciagrano, M.R. Di Berardini, E. Merelli, L. Tesei

    Published 2010-12-01
    Get full text
    Article
    Save to List
    Saved in:

Search Tools: