Research output per year
Research output per year
Marcin Czenko, Sandro Etalle, Dongyi Li, William H. Winsborough
Research output: Chapter in Book/Report/Conference proceeding › Chapter › Academic
Original language | English |
---|---|
Title of host publication | Foundations of Security Analysis and Design IV |
Subtitle of host publication | FOSAD 2006/2007 Tutorial Lectures |
Editors | Alessandro Aldini, Roberto Gorrieri |
Place of Publication | Berlin, Heidelberg |
Publisher | Springer |
Pages | 246-281 |
Number of pages | 36 |
ISBN (Electronic) | 978-3-540-74810-6 |
ISBN (Print) | 978-3-540-74809-0 |
DOIs | |
Publication status | Published - Jul 2007 |
Name | Lecture Notes in Computer Science |
---|---|
Publisher | Springer |
Volume | 4677 |
ISSN (Print) | 0302-9743 |
ISSN (Electronic) | 1611-3349 |
Research output: Book/Report › Report › Professional