Marc Lettrari

List of publications from the DBLP Bibliography Server - FAQ
Other views: by type - by year (modern) - classic-C

Ask others: ACM DL/Guide -

	2005
b1		Marc Lettrari: Efficient state space exploration of reactive object-oriented programs. Universität Oldenburg 2005, pp. 1-199
	2003
c3		Marc Lettrari: Using Abstractions for Heuristic State Space Exploration of Reactive Object-Oriented Systems. FME 2003: 462-481
	2002
c2		Henning Dierks, Marc Lettrari: Constructing Test Automata from Graphical Real-Time Requirements. FTRTFT 2002: 433-454
	2001
c1		Marc Lettrari, Jochen Klose: Scenario-Based Monitoring and Testing of Real-Time UML Models. UML 2001: 317-328

Coauthor Index

1	Henning Dierks	[c2]
2	Jochen Klose	[c1]

Last update Sun May 19 15:51:39 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page