On the Refinement of Atomic Actions (2007)
by
Richard Banach
,
Gerhard Schellhorn
| Venue: | Proceedings of REFINE 2007, volume 201 of ENTCS |
| Citations: | 5 - 3 self |







