Inssi

Helecon

Tenttu

search query: @keyword linear temporal logic / total: 4

references: 1-4 / 4

« previous page | next page »

	title	year	author
1.	Synthesis of Moore machines from LTL specifications	2010	Ellonen, Sakari
2.	Model checking a client-server system with a scalable level of concurrency	2005	Pohjolainen, Topi
3.	On Translating Linear Temporal Logic into Alternating and Nondeterministic Automata	2003	Tauriainen, Heikki
4.	Automated Testing of Buchi Automata Translators for Linear Temporal Logic	2000	Tauriainen, Heikki

« previous page | next page »

INSSI