Home > Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6. 1 International Conference, FMOODS 2012 and 32nd IFIP WG 6. 1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings > Verification of Timed Erlang Programs Using McErlang
Formal Techniques for Distributed Systems: Joint 14th IFIP WG 6. 1 International Conference, FMOODS 2012 and 32nd IFIP WG 6. 1 International Conference, FORTE 2012, Stockholm, Sweden, June 13-16, 2012, Proceedings |
Springer Berlin Heidelberg
Verification of Timed Erlang Programs Using McErlang
Chapter Info
Authors
ARI Id
1664848916369_3769534
Access
Not Available Free
Pages
251-267
DOI
Chapter URL
https://rd.springer.com/chapter/10.1007/978-3-642-30793-5_16
Table of Contents of Book
| Chapters/Headings | Author(s) | Pages | Info |
| Loading... | |||
| Chapters/Headings | Author(s) | Pages | Info |
Similar Books
Loading...
Similar Chapters
Loading...
Similar Thesis
Loading...
Similar News
Loading...
Similar Articles
Loading...
Similar Article Headings
Loading...