| Original language | English (US) |
|---|---|
| Pages (from-to) | 287-288 |
| Number of pages | 2 |
| Journal | Electronic Notes in Theoretical Computer Science |
| Volume | 55 |
| Issue number | 2 |
| DOIs | |
| State | Published - Oct 2001 |
| Externally published | Yes |
| Event | RV'2001, Runtime Verification (in Connection with CAV '01) - Paris, France Duration: Jul 23 2001 → Jul 23 2001 |
ASJC Scopus subject areas
- Theoretical Computer Science
- General Computer Science