Original language | English |
---|---|
Title of host publication | Computer Aided Verification |
Publisher | Springer |
Pages | 184-191 |
Volume | 8559 |
Publication status | Published - 2014 |
Publication series
Name | Lecture Notes in Computer Science |
---|
Anna-Lisa Ferrara, Truc Nguyen Lam, P Madhusudan, Gennaro Parlato
Research output: Chapter in Book/Report/Conference proceeding › Conference Contribution (Conference Proceeding)
Original language | English |
---|---|
Title of host publication | Computer Aided Verification |
Publisher | Springer |
Pages | 184-191 |
Volume | 8559 |
Publication status | Published - 2014 |
Name | Lecture Notes in Computer Science |
---|