skip to main content
Guest
e-Shelf
My Account
Sign out
Sign in
This feature requires javascript
Tags
e-Journals
e-Books
Databases
USP Libraries
Help
Help
Language:
English
Spanish
Portuguese (Brazil)
This feature required javascript
This feature requires javascript
Primo Search
General Search
General Search
Physical Collection
Physical Collections
USP Intelectual Production
USP Production
Search For:
Clear Search Box
Search in:
General Search
Or hit Enter to replace search target
Or select another collection:
Search in:
General Search
Advanced Search
Browse Search
This feature requires javascript
This feature requires javascript
Composing Constraint Automata, State-by-State
Jongmans, Sung-Shik T. Q. ; Kappé, Tobias ; Arbab, Farhad
Formal Aspects of Component Software, 2016, Vol.9539, p.217-236
[Peer Reviewed Journal]
Switzerland: Springer International Publishing AG
Full text available
Citations
Cited by
View Online
Details
Reviews & Tags
More
Times Cited
Actions
Add to e-Shelf
Remove from e-Shelf
E-mail
Print
Permalink
Citation
EasyBib
EndNote
RefWorks
Delicious
Export RIS
Export BibTeX
This feature requires javascript
Sign in to Post Your Review
Rate this item
1
2
3
4
5
6
7
8
9
10
Here you can write your review
I agree that my name will be displayed next to the review (optional).
I agree that the library will use this review.
(required)
Sign in to Add New Tags
All Tags
Cloud
All Tags
List
This feature requires javascript
Back to results list
Previous
Result
8
Next
This feature requires javascript
This feature requires javascript
Searching Remote Databases, Please Wait
Searching for
in
scope:(USP_VIDEOS),scope:("PRIMO"),scope:(USP_FISICO),scope:(USP_EREVISTAS),scope:(USP),scope:(USP_EBOOKS),scope:(USP_PRODUCAO),primo_central_multiple_fe
Show me what you have so far
This feature requires javascript
This feature requires javascript
Previous
Home Page
RSS
Feed
Policies
Contact Us
Social Network Logos: 
Social Network Logos: