Compositionality results for cardiac cell dynamics

Document Details

Document Type
Pub Defense Publication
Publication Date
Apr 15, 2014
Source ID
10.1145/2562059.2562138

Entities

People

  • Abhishek Murthy
  • Antoine Girard
  • Md. Ariful Islam
  • Radu Grosu
  • Scott A. Smolka

Organizations

  • Air Force Office of Scientific Research
  • Division of Computing and Communication Foundations
  • Joseph Fourier University
  • Stony Brook University
  • TU Wien