Saulius Pusinskas

	2009
1		Kim Guldstrand Larsen, Shuhao Li, Brian Nielsen, Saulius Pusinskas: Verifying Real-Time Systems against Scenario-Based Requirements. FM 2009: 676-691

Coauthor Index

1	Kim Guldstrand Larsen	[1]
2	Shuhao Li	[1]
3	Brian Nielsen	[1]