Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs
| প্রধান লেখক: | , |
|---|---|
| বিন্যাস: | Conference item |
| প্রকাশিত: |
Springer
2011
|
| _version_ | 1826288572784705536 |
|---|---|
| author | Schrammel, P Jeannet, B |
| author_facet | Schrammel, P Jeannet, B |
| author_sort | Schrammel, P |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:15:44Z |
| format | Conference item |
| id | oxford-uuid:a22cb56e-eda0-4738-b8c0-7ef0f79acbc4 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:15:44Z |
| publishDate | 2011 |
| publisher | Springer |
| record_format | dspace |
| spelling | oxford-uuid:a22cb56e-eda0-4738-b8c0-7ef0f79acbc42022-03-27T02:18:20ZLogico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow ProgramsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a22cb56e-eda0-4738-b8c0-7ef0f79acbc4Department of Computer ScienceSpringer2011Schrammel, PJeannet, B |
| spellingShingle | Schrammel, P Jeannet, B Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs |
| title | Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs |
| title_full | Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs |
| title_fullStr | Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs |
| title_full_unstemmed | Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs |
| title_short | Logico−Numerical Abstract Acceleration and Application to the Verification of Data−Flow Programs |
| title_sort | logico numerical abstract acceleration and application to the verification of data flow programs |
| work_keys_str_mv | AT schrammelp logiconumericalabstractaccelerationandapplicationtotheverificationofdataflowprograms AT jeannetb logiconumericalabstractaccelerationandapplicationtotheverificationofdataflowprograms |