Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars
:
DeltaCCS: A Core Calculus for Behavioral Change.
In: Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation.
In: International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA)
.
[Conference or Workshop Item]
, (2014)
| Item Type: | Conference or Workshop Item |
|---|---|
| Erschienen: | 2014 |
| Creators: | Lochau, Malte and Mennicke, Stephan and Baller, Hauke and Ribbeck, Lars |
| Title: | DeltaCCS: A Core Calculus for Behavioral Change |
| Language: | English |
| Series Name: | International Symposium On Leveraging Applications of Formal Methods, Verification and Validation (ISoLA) |
| Divisions: | 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering > Real-Time Systems 18 Department of Electrical Engineering and Information Technology 18 Department of Electrical Engineering and Information Technology > Institute of Computer Engineering |
| Event Title: | Proceedings of 6th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation |
| Date Deposited: | 27 Jan 2015 14:58 |
| Export: |
Optionen (nur für Redakteure)
 |
View Item |
Print
Impressum