This shareable PDF can be hosted on any platform or network and is fully compliant with publisher copyright.
Analysis of a software/hardware system by tense arithmetic
- Kohji Tomita, Takashi Tsuji, Shigeru Igarashi
- Springer Science + Business Media
- DOI: 10.1007/bfb0032401
