DMCA

Verifying Real-Time Properties of tccp Programs

by M. Alpuente , M. M. Gallardo , E. Pimentel , A. Villanueva , U. Politécnica , Valencia U. Málaga , U. Politécnica Valencia
Venue:Journal of Universal Computer Science
Citations:8 - 4 self