Travelled to:
1 × USA
Collaborated with:
M.B.Dwyer L.A.Clarke
Talks about:
represent (1) program (1) concurr (1) compact (1) petri (1) net (1)
Person: Kari A. Nies
DBLP: Nies:Kari_A=
Contributed to:
Wrote 1 papers:
- ICSE-1995-DwyerCN #concurrent #petri net #representation #source code
- A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.