Conference item

Recent Developments in FDR

Actions

Email

Email this record

Send the bibliographic details of this record to your email address.

Your Email
Please enter the email address that the record information will be sent to.

-
Your message (optional)
Please add any additional information to be included within the email.
Share
Cite

Cite this record

APA Style

Armstrong, P., Goldsmith, M., Lowe, G., Ouaknine, J., Palikareva, H., Roscoe, A., & Worrell, J. (2012). Recent Developments in FDR. 7358.

MLA Style

Armstrong, P, et al. “Recent Developments in FDR.” vol. 7358, 2012.

Chicago Style

Armstrong, P, M Goldsmith, G Lowe, et al. 2012. “Recent Developments in FDR.” 7358.
Print

Authors

+ Armstrong, P More by this author

Role:: Author

+ Goldsmith, M More by this author

Role:: Author

+ Lowe, G More by this author

Role:: Author

+ Ouaknine, J More by this author

Role:: Author

+ Palikareva, H More by this author

Role:: Author

More authors...

Publisher:: Springer−Verlag Berlin Heidelberg
Host title:: CAV 2012: Proceedings of the 24th International Conference on Computer Aided Verification
Volume:: 7358
Publication date:: 2012-01-01

UUID:: uuid:87b6931b-7ca7-45d9-ae5f-3f0d85b800c2
Local pid:: cs:5978
Deposit date:: 2015-03-31
ARK identifier:: ark:/29072/ora_87b6931b7ca745d9ae5f3f0d85b800c2

Terms of use

Copyright date:: 2012

Licence:: Terms and Conditions of Use for Oxford University Research Archive

Views and Downloads

About views and downloads

If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP