[Elsevier] [Single chapter]Verification of MPI programs via compilation into Petri nets

RiteshS Post time 19 min. ago | Show all posts |Read mode
This post will be closed automatically in 2026-08-29 14:52
Reward50points

journalㄩApplied Graph Data Science

AuthorsㄩRoman N. Guliak; Tatiana R. Shmeleva; Dmitry A. Zaitsev

Published dateㄩ2025--

DOIㄩ10.1016/b978-0-443-29654-3.00005-3

PDF linkㄩhttps://www.sciencedirect.com/sc ... 443296543000053/pdf

Article linkㄩhttps://doi.org/10.1016/b978-0-443-29654-3.00005-3

Article SourceㄩElsevier


Remarkㄩ

Best Answer

Please approve

View Full Content

Reply

Use magic Donate Report

All Reply1 Show all posts
T-Mac Post time 19 min. ago | Show all posts

This post has been completed

Completed attachments will be deleted within 24 hours.
Reply

Use magic Donate Report

Senior Member
  • post

  • reply

  • points

    5640


Return to the list