dblp.uni-trier.dewww.uni-trier.de

Robert Meolic

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2008
2EERobert Meolic, Tatjana Kapus, Zmago Brezocnik: ACTLW - An action-based computation tree logic with unless operator. Inf. Sci. 178(6): 1542-1557 (2008)
2004
1EERobert Meolic, Alessandro Fantechi, Stefania Gnesi: Witness and Counterexample Automata for ACTL. FORTE 2004: 259-275

Coauthor Index

1Zmago Brezocnik [2]
2Alessandro Fantechi [1]
3Stefania Gnesi [1]
4Tatjana Kapus [2]

Colors in the list of coauthors

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)