The model evolution calculus

Conference proceeding

Peer reviewed

Peter Baumgartner and Cesare Tinelli

Lecture notes in computer science, Vol.2741, pp.350-364

Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003)

2003

DOI: 10.1007/978-3-540-45085-6_32

View Online

Applied sciences

Computer science; control theory; systems

Exact sciences and technology

General

Logical, boolean and switching functions

Software

Theoretical computing

Title: Subtitle: The model evolution calculus
Creators: Peter Baumgartner - University of Koblenz and Landau
Cesare Tinelli - University of Iowa
Resource Type: Conference proceeding
Publication Details: Lecture notes in computer science, Vol.2741, pp.350-364
Conference: Automated deduction - CADE-19 (Miami Beach FL, 28 July - 2 August 2003)
Publisher: Springer
DOI: 10.1007/978-3-540-45085-6_32
ISSN: 0302-9743
eISSN: 1611-3349
Language: English
Date published: 2003
Academic Unit: Computer Science
Record Identifier: 9984259468902771

5 Record Views