Structural and Behavioral Modeling with Monadic Logics (1999)

Cached

Download Links

by Abdelwaheb Ayari , David Basin , Stefan Friedrich
Venue:IN THE TWENTY-NINTH IEEE INTERNATIONAL SYMPOSIUM ON MULTIPLE-VALUED LOGIC. IEEE COMPUTER SOCIETY
Citations:6 - 2 self