Journal | MESA
User
Username
Password
Remember me
Journal Content
Search
All
Authors
Title
Abstract
Index terms
Full Text
Browse
By Issue
By Author
By Title
Information
For Readers
For Authors
For Librarians
Subscription
Login to verify subscription
Donations
Font Size
Home
About
Login
Register
Search
Current
Archives
Announcements
ICNPAA
Home
>
Search
>
Author Details
Author Details
White, Brian A.
Vol 1, No 3 (2010)
- Articles
Formal modelling and verification of multi-robot systems specified with temporal logic
Abstract