Guest Editorial - Special Issue on Automated Verification of Critical Systems
Leuschel, Michael (2005) Guest Editorial - Special Issue on Automated Verification of Critical Systems. Formal Aspects of Computing, (17), 91-92.
Download
Full text not available from this repository.
| Item Type: | Article |
|---|---|
| Related URLs: | |
| Divisions: | Faculty of Physical and Applied Science > Electronics and Computer Science |
| Item ID: | 261199 |
| Date Deposited: | 07 Sep 2005 |
| Last Modified: | 01 Mar 2012 11:10 |
| Contributors: | Leuschel, Michael (Author) |
| Date: | August 2005 |
| Status: | Published |
| Publisher: | Springer-Verlag |
| Further Information: | Google Scholar |
| URI: | http://eprints.soton.ac.uk/id/eprint/261199 |
Actions (login required)
 |
View Item |
