Crossmark

Distributed computation of vector clocks in Petri net unfoldings for test selection

Crossref DOI link: https://doi.org/10.1007/s10626-020-00310-4

Published Online: 2020-03-17

Published Print: 2020-09

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Jezequel, Loïg

Madalinski, Agnes

Schwoon, Stefan https://orcid.org/0000-0001-6622-6510
License Information

Text and Data Mining valid from 2020-03-17

Version of Record valid from 2020-03-17
More Information

Article History

Received: 17 December 2018

Accepted: 7 January 2020

First Online: 17 March 2020